f(2) 。后一个不等式蕴涵了连续统的势的共尾性必定是不可数的。在另一方面序数 ω 是第一个无限序数，所以 formula_22 的共尾性是 card(ω) = formula_2。（特别是，formula_22 是奇异的）。因此（相较于连续统假设，它声称 formula_26。）推广了这个论证，你可以证明对于极限序数 δ