ABSTRACT
Real numbers have been implicitly around throughout the history of mathematics as an expression of the idea of continuity of magnitudes. What amounts to an axiomatic introduction of the reals can be found in Euclid (and is attributed to Eudoxus). The first construction of the reals from the “discrete” (i.e., from the rationals) is due to Dedekind.
