用来指与自然数集合等势的集合，并证明了有理数集合是可数无穷，而实数集合不是可数无穷，这表明无穷集合的确存在着不同的大小，他称与实数等势（从而不是可数无穷）的集合为不可数无穷。原始证明发表于 1874年，这个证明使用了较为复杂的归纳反证法。1891年他用对角线法重新证明了这个定理。另外，他证明了代数数集合是可数集，以及 formula_7维空间与一维空间之间存在一一对应。在上述理论的基础上，康托尔又系统地研究了序数理论，提出了良序定理，即可以给任何集合内的所有元素定义一个大小关系，使得任意两个元素都可以比较大