Wiki. “连续统假设” [连续统假设]

Cantor 连续统假设是说, 对于自然数对象 $\mathbb N$ 与其幂集 $P\mathbb N$, 在二者之间不存在其它的无穷基数.

命题. 存在一个 Boole 意象满足选择公理, 但连续统假设不成立.