non-standard arithmetic

In mathematical logic, a nonstandard model of arithmetic is a model of Peano arithmetic that contains nonstandard numbers. The standard model of arithmetic consists of the set of standard natural numbers . 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.
See more at Wikipedia.org...