Mostowski 坍缩定理

关系 $(A,E)$ 可以看作一批带编号的容器：$bEa$ 表示编号 $a$ 的容器直接装着编号 $b$。坍缩从最底层开始，删去编号，把每个节点替换为其所有前驱已经得到的集合。良基性保证总能先处理下层；外延性保证两个节点若装着完全相同的东西，本来就是同一节点。处理完后，原本抽象的箭头 $E$ 就变成真实的成员关系。

“坍缩”不是把模型变小。$A$ 与 $M$ 之间存在双射，信息没有丢失；改变的是表示方式。原结构可能用任意代码模拟集合，坍缩后每个代码被其实际成员像替代，从而得到可直接与宇宙比较的传递副本。

取 $A=\{a,b,c\}$，关系只有 $aEb$、$aEc$、$bEc$。先有 $a$ 无前驱，所以

$b$ 的前驱只有 $a$，故 $\pi (b)=\{\varnothing \}$；$c$ 的前驱是 $a,b$，故

于是值域 $M=3=\{0,1,2\}$，且原关系与 $\in$ 在序数 $3$ 上的结构完全同构。这是一条可以按层检查的实际坍缩轨迹。

若删去外延性，设两个不同节点 $a,b$ 都没有前驱，则递归会给出 $\pi (a)=\pi (b)=\varnothing$；映射不再单射，只得到商结构而非原结构的同构。若删去良基性并有 $aEa$，递归式要求 $\pi (a)\in \pi (a)$，在正则集合论中无解。两项假设分别防止“重复代码”和“循环代码”，缺一不可。

对真类关系还必须增加 set-like 条件：每个节点的前驱构成集合，否则右端未必是集合。本条目的集合版中这一条件自动成立。另一个重要边界是外部良基性：一个非标准模型可能内部认为 $E$ 良基，但外部看到无限下降链；此时外部 Mostowski 坍缩不能直接应用。

若一个集合论模型 $(A,E)$ 在外部良基且外延，坍缩给出同构的传递模型。这样，模型里的“伪成员符号”被还原为真实 $\in$，序数、秩和有界公式绝对性便可直接使用。可数模型经坍缩成为可数传递模型的步骤，必须明确依赖外部良基，而不只是模型内部满足正则公理。

在构造可构造宇宙时，凝聚引理把某些 $L_{\alpha }$ 的初等子结构坍缩成更早的 $L_{\beta }$；在大基数理论中，良基超幂经坍缩产生目标传递类和初等嵌入；在力迫中，名字与模型常先以编码形式出现，坍缩帮助固定一个外部可追踪的传递背景。

定理能规范化良基外延表示，却不能凭空证明关系良基，也不能使任意模型满足更多公理。它保留原结构全部一阶事实：若原结构在某条公理上失败，传递副本仍失败。坍缩解决表示问题，不解决一致性或完备性问题。