Editing Number (section)

===Nonstandard numbers===
[[Hyperreal number]]s are used in [[non-standard analysis]]. The hyperreals, or nonstandard reals (usually denoted as *'''R'''), denote an [[ordered field]] that is a proper [[Field extension|extension]] of the ordered field of [[real number]]s '''R''' and satisfies the [[transfer principle]]. This principle allows true [[first-order logic|first-order]] statements about '''R''' to be reinterpreted as true first-order statements about *'''R'''.

[[Superreal number|Superreal]] and [[surreal number]]s extend the real numbers by adding infinitesimally small numbers and infinitely large numbers, but still form [[field (mathematics)|fields]].