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

question: コーシー列による実数の定義を発表した人物はゲオルク・カントールともう1人は誰ですか?, answer: エドゥアルト・ハイネ