Nonstandard model of Peano arithmetic
ID: nonstandard-model-of-peano-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.
New to topics? Read the docs here!