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