 Non-standard model of arithmetic

Non-standard models of arithmetic are structures that satisfy the axioms of Peano arithmetic (PA) but contain "non-standard" elements that do not correspond to the standard natural numbers (0, 1, 2, ...). In other words, while a standard model of arithmetic consists only of the usual natural numbers, a non-standard model includes additional "infinitely large" and "infinitesimally small" numbers that do not have a counterpart in the standard model.