Nonstandard model of Peano arithmetic
= Nonstandard model of Peano arithmetic
{c}
{wiki=Non-standard_model_of_arithmetic}
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.