始证明发表于 1874年，这个证明使用了较为复杂的归纳反证法。1891年他用对角线法重新证明了这个定理。另外，他证明了代数数集合是可数集，以及 formula_7维空间与一维空间之间存在一一对应。在上述理论的基础上，康托尔又系统地研究了序数理论，提出了良序定理，即可以给任何集合内的所有元素定义一个大小关系，使得任意两个元素都可以比较大小，且该集合的任意子集都有最小元素。
连续统假设.康托尔晚年致力于证明他自己提出的连续统假设，即任意实数的无穷集合或者是可数无穷或者是不可数无穷，二者