コーシー列による実数の定義は、最初に（いずれも）1872年にエドゥアルト・ハイネとゲオルク・カントールにより独立に発表された。
把实数定义为柯西序列，首先由爱德华·海涅和格奥尔格·康托尔独立发表，也是在1872年。