>>64 ZFC が無矛盾ならば、それは証明不可能。実際、連続体仮説の下で、偽となる。

X を連続濃度、N を可算無限濃度とすると、N は X よりも真に小だが、N の冪集合の濃度は、
X そのものとなり、X の濃度よりも真に小となることは、ありえない。