カントールは1891年に出版された論文ÜbereineelementareFragederMannigfaltigkeitslehre（多様体論の初等的問題に関して）においてこの証明を本質的に与えた。
康托尔在1891年发表的论文《ÜbereineelementareFragederMannigfaltigkeitslehre》中本质上给出了这个证明，实数不可数的对角论证法也首次在这里出现。