连续统假设的独立性

正方向向内收缩：在可构造宇宙 $L$ 中，利用可定义的良序和凝聚性质证明 GCH。负方向向外扩张：保持序数和基数骨架不变，同时加入足够多彼此不同的新实数，使连续统越过 ${\mathrm{\aleph }}_1$。两种模型共享 ZFC 公理，却在 CH 上分叉。

“独立”描述的是形式理论的证明能力。每个 ZFC 模型内部都有确定的幂集和基数，因此 CH 有唯一真值；不同模型拥有不同的实数集合或双射，才产生不同判断。

从满足 CH 的地面模型出发，只加入 一个 Cohen 实数会保持 CH。若 $M\models \mathrm{CH}$，单 Cohen 力迫是可数偏序，扩张中的实数名字至多仍有 ${\mathrm{\aleph }}_1$ 个，同时旧实数已给出至少 ${\mathrm{\aleph }}_1$ 个，因此连续统保持为 ${\mathrm{\aleph }}_1$。上述构造同时加入 ${\mathrm{\aleph }}_2$ 个不同实数，正是为了在保持基数的同时使连续统越过 ${\mathrm{\aleph }}_1$。

外部看来 $M$ 可数，所以外部集合 $\{c_{\xi }:\xi <{\kappa }^M\}$ 也可数；这不与 $M[G]$ 内部“有 ${\mathrm{\aleph }}_2$ 个实数”矛盾。外部枚举不属于 $M[G]$，而 ${\kappa }^M$ 的基数身份由模型内部函数决定。

教材中的可数传递模型是假设清楚的语义舞台，但 $\mathrm{Con}(\mathrm{ZFC})$ 本身不推出当前宇宙存在这种模型。完整独立性证明把内模型与力迫构造形式化，或使用 Boolean-valued models 和完备性，从而得到上述纯句法一致性蕴含。因此，模型构造的展示方式与定理最终的一致性假设分属两个层次。

可数链条件在本次构造中负责保存基数；任意力迫并不都如此。某些力迫会坍缩 ${\omega }_1$，此时即使加入许多实数，也不能用地面 ${\mathrm{\aleph }}_1$、${\mathrm{\aleph }}_2$ 的标签直接判断扩张 CH。基数保持定理使这里的连续统比较能够沿用地面模型中的基数名称。

该定理建立了现代独立性方法的标准模板：先选择能控制目标命题的内模型或力迫预序，再证明基础公理与关键基数被保存，最后用力迫关系计算新真值。Suslin 假设、Martin 公理以及许多拓扑和测度命题随后都沿用这一架构。

连续统大小仍受基数算术约束。Cantor 定理要求 $2^{{\mathrm{\aleph }}_0}>{\mathrm{\aleph }}_0$，König 定理限制连续统的共尾数；要实现其他值，还需满足相应基数算术条件。Easton 定理控制正则基数上的幂函数，但也不能绕过单调性与 König 约束。

这两个相对一致性方向为研究新公理提供了起点。采纳 $V=L$ 会得到 CH；强迫公理或其他新公理可能推出 $\mathrm{\neg }\mathrm{CH}$。评估新公理还要考察其内在动机、解释力与同大基数等理论的协调。