... there are good reasons to believe that nonstandard analysis, in some version or other, will be the analysis of the future. Kurt Gödel 
In 1961, Abraham Robinson based a new way to study limits, continuity, and other aspects of analysis on Thoralf Skolem's nonstandard models for Peano arithmetic , adding a sound generalization of Leibniz's infinitesimals to the 19th century epsilon-delta methods now considered standard. Generalizations of Robinson's nonstandard analysis have since been used in such diverse fields as functional analysis, number theory, probability, dynamical systems, and mathematical economics . Nonstandard analysis provides powerful new tools not only for proving or refuting conjectures and simplifying standard proofs, but also for giving precise meaning to many informal notions - like large integers and neighboring points - useful for constructing mathematical models for diverse phenomena and in teaching calculus, analysis, and topology. To make the subject more accessible to students and non-specialists, this note assumes no familiarity with the concepts from mathematical logic , superstructures on ultrapowers , or axiomatic set theory  used in other approaches.
All versions of nonstandard analysis relate standard numbers to others in much the way that numbers like 1/7 and used in exact and symbolic computations relate to numbers like .142857 and 3.14159 used in numerical approximations. While nonstandard integers are too large to be uniquely specified, each has a decimal representatiion with a nonstandard number of digits, and students can compute with these in much the way that they do with standard integers, without reference to any formal theory; e.g. (312...231)2 = 97...361. Each nonstandard positive integer exceeds all standard ones, and each has the familiar arithmetic properties of all standard integers; e.g., each is a product of primes and a sum of four squares. Some mathematicians use Edward Nelson's Internal Set Theory  to classify both standard and nonstandard integers as finite, and hence members of the ordered ring Z of finite integers. Others use a more traditional set theory to classify nonstandard integers as neither finite nor members of Z.
To combine certain desirable features of both classifications, we introduce the notion that nonstandard integers are guests of Z rather than nonstandard members, and that these integers, their reciprocals, and certain other nonstandard numbers are guests of the ordered field R of reals. We identify the guests of R with certain of the numbers introduced by J. H. Conway , and view all these numbers as points on a continuous number line.
We identify the numbers 0, 1, 2 ... with finite ordinals, non-negative integers, and natural numbers. Children learn to compute with these and other real numbers long before seeing axioms for ordered fields, or constructions using Dedekind cuts or Cauchy sequences. We can similarly learn to compute with other numbers before seeing axioms or constructions for them. In particular, the familiar addition and multiplication operations on finite ordinals extend naturally to infinite ones so that each set of ordinals generates a field. Differences of ordinals generalize integers, and ratios of these differences generalize rationals; e.g., subtracting 1 from the least infinite ordinal yields the generalized integer - 1 which is not an ordinal, and dividing 1 by yields the generalized rational 1/ which is positive and less than all positive reals. Instead of using different constructions for integers, rationals, and other reals, J. H. Conway  found a single construction for all these numbers and others, which Donald Knuth  named "surreals". Harry Gonshor  identified surreals with two-valued sequences, finite and infinite. The only properties of surreals used here are:
One example of an ordered field extending R consists of rational functions over R under pointwise addition and multiplication, ordered by f < g iff for some a R, f(x) < g(x) for all x > a. This extension is isomorphic to the ordered field R( ) of surreals generated by .
We assume that each infinite sequence of real numbers sn has a surreal *tag s* satisfying these
Some consequences of these axioms are:
Subset X R is
Subset X in R is a n'hood of x X iff x + x is a *member of X for all -small guests x of R. Function f:X R over a n'hood X of x is
Function f:X R over an open subset X in R is continuous but not uniformly continuous iff for all -small guests x, f(x,x) is -small for all members x of X and not for some guests x of X. For example, the squaring function from R to R is continuous but not uniformly continuous since for all -small guests x, (x2) = 2x x + (x)2 is -small for all x R but not for some -large guests x of R.
Theorems about reals and finite sets of reals generalize to theorems about *reals and finite sets of *reals; e.g., a *real is non-negative iff it is the square of a *real, and each polynomial of odd degree with *real coefficients has a *real root. To generalize theorems about infinite sets, we assign a *tag X* to certain infinite sequences of nonempty sets Xn.
The ordered field R of real numbers yields the standard ordered field *R, consisting of the members and guests of R. If set X yields a standard *X, then so does the set PX of all subsets in X, with *(PX) P(*X). Ordered by inclusion, standard subsets in *X form a Boolean subalgebra in the Boolean algebra *(PX) of internal subsets, which is in turn a Boolean subalgebra in the Boolean algebra P(*X) of all subsets in *X; *(PX) = P(*X) iff X is finite.
If sets X and Y yield standard subsets *X and *Y in a standard set, then so do XY and XY; with *(XY) = *X*Y and *(XY) = *X*Y.
Theorems about reals and sets of reals generalize to theorems about *reals and internal sets of *reals, provided each specified set of reals is replaced by its *std; e.g., since each nonempty subset in the set N of finite ordinals has a least member, so each nonempty internal subset in the set *N has a least member, even though some non-internal subsets in *N, like the set of all guests of N, have no least member.
Last updated November 24, 1999