Non-standard model of arithmetic
= Non-standard model of arithmetic
{wiki}
= Nonstandard model of Peano arithmetic
{synonym}
A nonstandard model of Peano arithmetic is a model not isomorphic to the standard natural-number structure. It contains the standard numerals as an initial segment and also contains elements larger than every standard numeral.