。（请看对角论证法）。连续统假设断言不存在介于实数集的势和自然数集的势之间的基数，亦即formula_52。
例子和其他性质.证明：假设存在此一集合formula_56。然后设formula_57为formula_56的幂集，formula_73，然而formula_74（请看康托尔定理），导出矛盾。