传递模型

一般一阶模型只需提供某个关系 $E$ 来解释符号 $\in$。从外部看，$E$ 可能编码非标准自然数、伪序数甚至无限下降链。传递模型消除了这层编码：它的对象就是外部集合，成员关系就是实际的 $\in$。因此从模型内部走进某个集合时，不会突然踏到论域之外。

这种透明度使传递模型特别适合相对一致性和力迫。研究者可以在外部宇宙中逐项检查 $M$、其偏序与泛型对象，同时又能准确陈述 $M$ 内部认为哪些集合存在。但透明不等于全知：$M$ 可能遗漏外部存在的子集、函数和基数见证，正是这种遗漏让内外真值能够不同。

在 ZFC 中，若 $\kappa$ 是强不可达基数，则 $(V_{\kappa },\in )$ 满足 ZFC。强不可达性提供幂集与替换所需的闭包和大小控制；该层内部的选择公理还用到环境中的选择公理。任意极限序数 $\alpha$ 的 $V_{\alpha }$ 并不会自动成为 ZF 模型。某些序数 $\alpha$ 的 $(L_{\alpha },\in )$ 能满足 ZF 的大片段，满足多强取决于 $\alpha$ 的闭包性质。

最容易误解的例子是“可数传递模型”。设外部宇宙认为 $M$ 可数，而 $M\models \mathrm{ZFC}$。模型内部仍可正确证明“实数不可数”，因为它量化的函数和实数只限于 $M$：外部给出的枚举 $f:\omega \to M\cap \mathbb{R}$ 通常不属于 $M$，所以不是内部反例。这是 Skolem 悖论在传递情形中的清晰版本。

存在可数传递 ZFC 模型远强于单纯的 $\mathrm{Con}(\mathrm{ZFC})$。完备性定理从一致性给出某个可数模型，但该模型通常外部不良基，不能直接当作传递模型。ZFC 也不能在自身一致时证明“存在 ZFC 的集合模型”，否则会推出自身一致性并触犯第二不完备定理。教材用可数传递模型讲力迫，是清楚展示构造的元数学假设；完整相对一致性证明还需把论证形式化，不能悄悄把这个假设归结为一致性本身。

另一个边界是内部与外部幂集。即使 $x\in M$，模型的 ${\mathcal{P}}^M(x)$ 只收集那些也属于 $M$ 的外部子集，未必等于真实的 $\mathcal{P}(x)$。因此基数、CH 或“所有函数”的判断可能变化，而有限运算和有界公式保持良好绝对性。

Mostowski 坍缩理路Mostowski 坍缩定理Mostowski collapse theorem · Mostowski collapsing lemma将集合上的良基外延关系唯一同构为某个传递集上的真实成员关系。把良基外延模型变成同构的传递模型，从而把抽象编码还原成真实成员结构。可构造宇宙 $L$ 则提供标准传递真类模型。若 $M$ 是 ZFC 的传递地模型，对其中的集合力迫 $\mathbb{P}\in M$ 加入 $M$-泛型滤子 $G$，力迫扩张 $M[G]$ 仍保持相同序数，并可改变幂集与基数算术。

传递性让许多公式绝对，但不能笼统宣称“$M$ 与 $V$ 对所有数学事实一致”。安全做法是逐项说明公式复杂度、参数所属和模型满足的公理。例如“$x$ 有有限长度”“$n$ 是自然数”等通常绝对；“$x$ 可数”需要量化一个可能不在 $M$ 中的枚举，便可能不绝对。

使用传递模型得到的是条件化的模型比较：在指定外部宇宙和背景理论里，如果这样的 $M$ 存在，就能构造或分析另一个模型。它不能单独判定背景理论在意向宇宙中的真实性，也不能把相对一致性升级为无条件一致性证明。