e/Nonstandard model of arithmetic

Information
has gloss	eng: In mathematical logic, a nonstandard model of arithmetic is a model of (first-order) Peano arithmetic that contains nonstandard numbers. The standard model of arithmetic consists of the set of standard natural numbers 0, 1, 2, …}. The elements of any model of Peano arithmetic are linearly ordered and possess an initial segment isomorphic to the standard natural numbers. A nonstandard model is one that has additional elements outside this initial segment. The existence of such models is due to Thoralf Skolem (1934).
lexicalization	eng: Non-standard model of arithmetic
lexicalization	eng: Nonstandard model of arithmetic
instance of	c/Formal theories of arithmetic