连续统假设的独立性

正方向向内收缩：进入最瘦的规范宇宙 $L$，可定义全局良序与凝聚把幂集大小压到 GCH。负方向向外扩张：保持序数和基数骨架不变，同时加入足够多彼此不同的新实数，使连续统越过 ${\mathrm{\aleph }}_1$。两种模型共享 ZFC 公理，却在 CH 上分叉。

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

只加入 一个 Cohen 实数通常不足以从 CH 地面得到 $\mathrm{\neg }\mathrm{CH}$。若 $M\models \mathrm{CH}$，单 Cohen 力迫是可数偏序，扩张中的实数名字至多仍有 ${\mathrm{\aleph }}_1$ 个，同时旧实数已给出至少 ${\mathrm{\aleph }}_1$ 个，因此连续统保持为 ${\mathrm{\aleph }}_1$。要在上述方案中明确破坏 CH，需要加入 ${\mathrm{\aleph }}_2$ 个新实数，或采用另一种经证明改变连续统大小的力迫。

外部看来 $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 约束。

最后，这两个相对一致性方向不选择 CH 的“正确答案”。采纳 $V=L$ 会得到 CH；强迫公理或其他新公理可能推出 $\mathrm{\neg }\mathrm{CH}$。评估新公理还要考察其内在动机、解释力与同大基数等理论的协调，而不是把不可判定误作可以随意投票。