连续统假设

不存在基数严格介于整数集 $\mathbb{Z}$ 与实数集 $\mathbb{R}$ 之间的集合;等价地,$2^{\aleph_0} = \aleph_1$。

哥德尔在1938–1940年间构造了可构成宇宙 $L$,证明 CH 与 ZFC 相容;科恩在1963年发明了力迫法,构造出 ZFC + ¬CH 的模型,证明 CH 在另一方向上也是独立的。两者的工作共同确立了 CH 无法仅由 ZFC 判定。