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.
New to topics? Read the docs here!
New to topics? Read the docs here!