Tennenbaum's theorem
= Tennenbaum's theorem
{c}
{wiki}
= Tennenbaum theorem
{c}
{synonym}
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.