Georg Cantor
コーシー列による実数の定義は、最初に（いずれも）1872年にエドゥアルト・ハイネとゲオルク・カントールにより独立に発表された。 の証明を含む、小数展開による上記のアプローチは1970年にグリフィス (Griffiths) とヒルトン (Hilton) の書いた教科書 "A comprehensive textbook of classical mathematics: A contemporary interpretation" （「古典数学に関する総合教科書：現代的解釈」）に従っている。この教科書は、よく知られた概念について、現代の観点から再検討することを主眼に書かれている。