（特殊篇章）哥德尔可构造宇宙L第二版本 (3-3)

(4) 幂集公理。任给 X ∈ L，我们只需证明：P(X)∩L∈L。由于存在α，P(X)∩L ⊆ Lα，P(X)∩L 可由 Δ₀ 公式在 Lα 中定义，因此属于L。

(5) 替换公理。对任意公式 ψ，任意x，X ∈ L，假设 ∀x ∈ X∃！g ∈ Lψᴸ(x，g)，我们只需证明：存在Y ∈ L，{g│∃x ∈ Xψᴸ(x，g)}⊆ Y。如果假设成立，则集合 {g│∃x ∈ Xψᴸ(x，g)} 中的任意元素 g 都属于 L，因此存在 α，g ∈ Lα。取这些 α 的上确界 λ，则Y＝Lλ₊₁ 满足条件，并且Y ∈ L。 □

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。