Solution
= Solution
The <Tennenbaum theorem> states that no countable nonstandard model of <Peano arithmetic> has a presentation on $\mathbb N$ in which both its addition and multiplication operations are recursive.
= Solution
The <Tennenbaum theorem> states that no countable nonstandard model of <Peano arithmetic> has a presentation on $\mathbb N$ in which both its addition and multiplication operations are recursive.