们得到formula_27 的基数大于N的基数。证明完毕。
历史.康托尔在1891年发表的论文《Über eine elementare Frage der Mannigfaltigkeitslehre》中本质上给出了这个证明，实数不可数的对角论证法也首次在这里出现。在这个论文中给出的这个论证的版本使用的是在集合上的指示函数而不是集合子集。他证明了如果"f"是定义在"X"上的函数，它的值是在"X"上的二值函数，则二值函数"G"("x") = 1 − "f"("x")("x")不在"