Editing Infinitesimal (section)

== Logical properties ==
The method of constructing infinitesimals of the kind used in nonstandard analysis depends on the [[Model theory|model]] and which collection of [[axiom]]s are used. We consider here systems where infinitesimals can be shown to exist.

In 1936 [[Anatoly Maltsev|Maltsev]] proved the [[compactness theorem]]. This theorem is fundamental for the existence of infinitesimals as it proves that it is possible to formalise them. A consequence of this theorem is that if there is a number system in which it is true that for any positive integer ''n'' there is a positive number ''x'' such that 0&nbsp;<&nbsp;''x''&nbsp;<&nbsp;1/''n'', then there exists an extension of that number system in which it is true that there exists a positive number ''x'' such that for any positive integer ''n'' we have 0&nbsp;<&nbsp;''x''&nbsp;<&nbsp;1/''n''. The possibility to switch "for any" and "there exists" is crucial. The first statement is true in the real numbers as given in [[ZFC]] [[set theory]] : for any positive integer ''n'' it is possible to find a real number between 1/''n'' and zero, but this real number depends on ''n''. Here, one chooses ''n'' first, then one finds the corresponding ''x''. In the second expression, the statement says that there is an ''x'' (at least one), chosen first, which is between 0 and 1/''n'' for any ''n''. In this case ''x'' is infinitesimal. This is not true in the real numbers ('''R''') given by ZFC. Nonetheless, the theorem proves that there is a model (a number system) in which this is true. The question is: what is this model? What are its properties? Is there only one such model?

There are in fact many ways to construct such a [[dimension|one-dimensional]] [[linear order|linearly ordered]] set of numbers, but fundamentally, there are two different approaches:

# Extend the number system so that it contains more numbers than the real numbers.
# Extend the axioms (or extend the language) so that the distinction between the infinitesimals and non-infinitesimals can be made in the real numbers themselves.

In 1960, [[Abraham Robinson]] provided an answer following the first approach. The extended set is called the [[Hyperreal number|hyperreals]] and contains numbers less in absolute value than any positive real number. The method may be considered relatively complex but it does prove that infinitesimals exist in the universe of ZFC set theory. The real numbers are called standard numbers and the new non-real hyperreals are called [[Nonstandard analysis|nonstandard]].

In 1977 [[Edward Nelson]] provided an answer following the second approach. The extended axioms are IST, which stands either for [[Internal set theory]] or for the initials of the three extra axioms: Idealization, Standardization, Transfer. In this system, we consider that the language is extended in such a way that we can express facts about infinitesimals. The real numbers are either standard or nonstandard. An infinitesimal is a nonstandard real number that is less, in absolute value, than any positive standard real number.

In 2006 Karel Hrbacek developed an extension of Nelson's approach in which the real numbers are stratified in (infinitely) many levels; i.e., in the coarsest level, there are no infinitesimals nor unlimited numbers. Infinitesimals are at a finer level and there are also infinitesimals with respect to this new level and so on.