关于Kunen集合论中相对一致性结论的疑问

我明白你的困惑——从“$V=L$蕴含AC和GCH”到“$\text{Con}(ZF)\implies \text{Con}(ZFC+V=L)$”这类相对一致性结论的跳跃，确实需要理清内模型法在一致性证明里的逻辑，咱们一步步拆解：

首先得明确一致性的核心含义：$\text{Con}(T)$（理论T一致）等价于“存在一个集合论模型满足T的所有公理”。相对一致性$\text{Con}(T)\implies \text{Con}(T+\phi)$的意思就是：如果T有模型，那么T加上公理φ也一定有模型（从而不会推出矛盾）。

回到Kunen的内容，你已经知道两个关键事实：

• 如果$V=L$成立，那么AC（甚至更强的选择公理形式）成立；
• 如果$V=L$成立，那么GCH成立。

现在把这和内模型$L$（可构造宇宙）结合起来：

1. 首先，$L$是ZF的内模型——也就是说，如果$M$是任意一个ZF的模型，那么$M$内部定义的“可构造集合宇宙”$L^M$本身也是ZF的模型。
2. 更关键的是，在$L^M$这个模型里，$V=L$是成立的（这是可构造宇宙的核心性质：它自身就是满足“所有集合都是可构造的”这个断言的模型）。
3. 结合你已经知道的两个事实，既然$L^M$满足$V=L$，那它自然也满足AC和GCH。

把这些串起来就是：

如果$\text{Con}(ZF)$（即存在ZF的模型$M$），那么$L^{M$就是同时满足ZF、AC、GCH、$V=L$的模型。这意味着$L}M$是$ZFC+V=L$的模型，也是$ZFC+GCH$的模型。

既然这两个理论都有模型，那它们必然是一致的——这就直接推出了$\text{Con}(ZF)\implies \text{Con}(ZFC+V=L)$和$\text{Con}(ZF)\implies \text{Con}(ZFC+GCH)$这两个结论。

简单来说，Kunen其实是在告诉你：“我们已经证明了$L$是ZFC+GCH+V=L的模型，而且$L$是ZF的内模型——所以只要ZF本身没问题，那这些更强的理论也肯定没问题”。

备注：内容来源于stack exchange，提问作者J.R.