Surreal numbers

Surreal numbers are a class of numbers introduced by John Conway that extend the real numbers to include infinitesimals, infinite quantities, and every ordinal number within a single recursive construction. A surreal number is defined as a pair of sets of previously constructed surreals, with every element of the left set being smaller than every element of the right set. This deceptively simple rule generates not just the real numbers but an entire hierarchy of transfinite and infinitesimal quantities that obey the laws of an ordered field.

The surreals unify number theory with combinatorial game theory, since every surreal number corresponds to the value of a two-player impartial game. Their construction anticipates the broader insight that non-standard analysis can be richer than the classical structures it is meant to formalize, suggesting that the real numbers are merely one station in a much larger numerical landscape.