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!