mula_17皆非空而其中之一为无限集，则
基数序列及连续统假设.对每一个基数，存在一个最小比它大的基数。这在自然数当然是对的。自然数集的基数是formula_9，康托尔称下一个为formula_10，相类似的，还定义了如下一个序列：formula_111。注意formula_112。连续统假设猜想，就是formula_113。连续统假设是与一般集论公理（即Zermelo-Fraenkel公理系统加上选择公理）是独立的。更一般的假设，即formula_114。广义连