Tennenbaum theorem
= Tennenbaum theorem
{c}
{wiki=Tennenbaum's_theorem}
Tennenbaum's theorem says that no countable nonstandard model of <Peano arithmetic> can have both addition and multiplication computable under a presentation of its domain by the natural numbers.