rmula_1基数大的集合中，基数最小的集合是实数集。而连续统就是实数集的一个旧称。更加形式地说，自然数集的基数为formula_2（读作「阿列夫零」）。而连续统假设的观点认为实数集的基数为formula_3（读作「阿列夫壹」）。于是，康托尔定义了绝对无限。等价地，整数集的基数是formula_2而实数的基数是formula_5，连续统假设指出不存在一个集合formula_6使得formula_7 假设选择公理是对的，那就会有一个最小的基数formula_3大于formula_2，而连续统假设也