Tennenbaum's theorem
= Tennenbaum's theorem
{wiki=Tennenbaum's_theorem}
Tennenbaum's theorem is a result in mathematical logic, specifically in the field of model theory. It states that there is no non-standard model of Peano arithmetic (PA) that satisfies the conditions of being both a model of PA and having a linear ordering of its elements that corresponds to the standard ordering of the natural numbers.