知识/定理
哥德尔（1940）证明连续统假设（CH）与 ZFC 相容：$2^{\aleph_0}=\aleph_1$ 不矛盾于 ZFC。
公式
$\text{Con}(ZFC)\Rightarrow\text{Con}(ZFC+\text{CH})$；构造内模型 L。
证明思路
（可构造宇宙 L）在 ZFC 内构造「可构造集合」子宇宙，其中 CH 成立。
应用/例子
集合论独立性问题的一半；科恩 1963 力迫法补上独立性另一半。
意义/影响
CH 不可证明也不可否证的历程开端；内模型方法影响深远。