第四章 ZFC公理的形式化与构造演算
卷二的核心是公理集合论，而本章的任务是对其标准公理系统------策梅洛--弗兰克尔集合论加选择公理（ZFC）------进行完整的、符合现代逻辑标准的形式化展开。在卷一中，我们建立了带等词的一阶谓词演算，确立了推理的元规则；卷三将讨论自然数的皮亚诺公理及其在范畴论中的对应。然而，一切数学对象最终都需要一个统一的承载舞台与本体论承诺，这个舞台就是集合宇宙，而ZFC便是这部宇宙的宪法。本章将逐条引入并审视ZFC的每条公理，阐明其形式化表述、历史动机、直接推论，并展示如何从这些公理出发构造有序对、关系、函数、等价类、自然数、序数与基数。所有的证明都将严格基于给定的公理和逻辑演绎，使读者切实体会"几乎整个经典数学皆可归约为这十条公理"的深刻意蕴，并为后续的超限归纳、基数算术和力迫法预备必需的词汇与工具。
4.1 从朴素集合论到公理化：罗素悖论的震撼
19 世纪末，格奥尔格·康托在系统研究三角级数的唯一性时，创立了朴素集合论，其核心原则是无限制概括原则 （unrestricted comprehension）：对任意由一阶公式表达的性质 P(x)P(x)P(x)，均存在一个集合 S={x∣P(x)}S = \{x \mid P(x)\}S={x∣P(x)}，恰由所有满足该性质的对象组成。这一原则直观而强大，足以编码自然数、实数、函数乃至整个经典数学结构。然而，1901 年伯特兰·罗素发现了一个毁灭性的悖论：
令 R={x∣x∉x}R = \{x \mid x \notin x\}R={x∣x∈/x}，即"所有不包含自身的集合构成的集合"。由概括原则，RRR 是一集合。现在考察命题 R∈RR \in RR∈R 的真值：
- 若 R∈RR \in RR∈R，则依 RRR 的定义，RRR 必须满足条件 x∉xx \notin xx∈/x，故 R∉RR \notin RR∈/R；
- 若 R∉RR \notin RR∈/R，则 RRR 恰满足定义中的条件，因而 R∈RR \in RR∈R。
两者均导致矛盾。这一悖论以极简单的逻辑工具摧毁了无限制概括原则。数学家意识到，不能任意将性质的外延"物化"为集合，必须对集合的形成施加严格的限制。恩斯特·策梅洛于 1908 年提出了第一个公理系统，此后经亚伯拉罕·弗兰克尔、托拉尔夫·斯科伦等人的完善与形式化，在补充了替换公理与正则公理之后，形成了今天所称的 ZFC。其核心纲领是：集合并非通过肆意囊括性质来定义，而是从某些本原对象（空集）出发，通过一系列被精确许可的构造操作（配对、并集、幂集、分离、替换）逐步生成。每一条公理都是一张"集合存在许可证"，严格界定在何种前提下可合法地断言一个新集合的存在。罗素悖论中的 RRR 因不能由这一组许可生成，故被排除在集合宇宙之外。
4.2 ZFC 的形式语言与基本记法
ZFC 的全部命题皆在一阶谓词逻辑带等词 的语言中书写。该语言的非逻辑符号仅有一个二元谓词常项 ∈\in∈，读作"属于"。变元 x,y,z,...x, y, z, \dotsx,y,z,... 遍布集合全域。等词 === 是逻辑符号，满足自反公理 ∀x (x=x)\forall x\,(x=x)∀x(x=x) 与等量替换公理模式。为书写紧凑并反映数学实践，我们引入以下元语言缩写：
- x⊆yx \subseteq yx⊆y 表示 ∀z (z∈x→z∈y)\forall z\,(z \in x \to z \in y)∀z(z∈x→z∈y) （子集）。
- x⊊yx \subsetneq yx⊊y 表示 x⊆y∧x≠yx \subseteq y \land x \neq yx⊆y∧x=y （真子集）。
- {x,y}\{x, y\}{x,y} 等集合项将在相应的存在公理保证其合法性后引入。
- ∅\varnothing∅ 指称唯一的空集（唯一性由外延公理保证）。
- P(x)\mathcal{P}(x)P(x) 指称 xxx 的幂集。
- ⋃x\bigcup x⋃x 指称 xxx 的并。
- x∪y:=⋃{x,y}x \cup y := \bigcup\{x,y\}x∪y:=⋃{x,y}，x∩y:={z∈x∣z∈y}x \cap y := \{z \in x \mid z \in y\}x∩y:={z∈x∣z∈y}，x∖y:={z∈x∣z∉y}x \setminus y := \{z \in x \mid z \notin y\}x∖y:={z∈x∣z∈/y}。
- 后继运算 S(x):=x∪{x}S(x) := x \cup \{x\}S(x):=x∪{x}。
本章的叙述将大致遵循标准 ZFC 公理列表的逻辑顺序：从外延到构造性存在公理，再到无穷、正则与选择。
4.3 外延公理：同一性由元素决定
公理 4.3.1（外延公理）
∀A ∀B ∀x (x∈A↔x∈B)→A=B . \forall A\,\forall B\,\big\\,\\forall x\\,(x \\in A \\leftrightarrow x \\in B) \\to A = B\\,\\big. ∀A∀B∀x(x∈A↔x∈B)→A=B.
这一公理断言：若两个集合含有完全相同的元素，则它们是同一个集合。反之，由等词的逻辑公理，A=BA = BA=B 蕴含它们有相同的元素。因此，集合的相等完全由外延确定，与元素的排列顺序、出现次数、内部结构均无关系------一个集合就是其元素的纯汇集。
推论 4.3.2（空集的唯一性） 设 E1E_1E1 与 E2E_2E2 是两个没有任何元素的集合。则对任意 xxx，x∈E1x \in E_1x∈E1 与 x∈E2x \in E_2x∈E2 皆为假，故双条件空虚地成立。由外延公理得 E1=E2E_1 = E_2E1=E2。因此，若空集存在，则必唯一，记为 ∅\varnothing∅。空集的存在性将在引入无穷公理（或逻辑非空假设）后通过分离公理立刻得出。
外延公理是整个大厦的基石：它给出了判定集合同一性的唯一标准，从根本上确立了集合论的"外延本体论"。
4.4 分离公理模式：从已有集合中安全地分离子集
为解决罗素悖论，策梅洛放弃无限制概括，转而采纳分离公理模式 （亦称子集公理）：若已有集合 AAA，则可安全地将其中满足某性质 φ\varphiφ 的元素分离出来构成一个集合。
公理 4.4.1（分离公理模式） 对每个一阶公式 φ(x,w1,...,wn)\varphi(x, w_1, \dots, w_n)φ(x,w1,...,wn)（其中自由变元至少包含 xxx，参数 w1,...,wnw_1,\dots,w_nw1,...,wn 可省略，且 φ\varphiφ 中不含变元 BBB），下述全称闭包为公理：
∀A ∀w1 ⋯ ∀wn ∃B ∀x x∈B↔(x∈A∧φ(x,w1,...,wn)). \forall A\,\forall w_1\!\cdots\!\forall w_n\,\exists B\,\forall x\,\bigx \\in B \\leftrightarrow (x \\in A \\land \\varphi(x, w_1, \\dots, w_n))\\big. ∀A∀w1⋯∀wn∃B∀xx∈B↔(x∈A∧φ(x,w1,...,wn)).
此集合 BBB 是唯一的（由外延），记作 {x∈A∣φ(x)}\{x \in A \mid \varphi(x)\}{x∈A∣φ(x)}。分离公理是一个公理模式，因有无穷多个公式 φ\varphiφ，故对应无穷多条公理。它严格限制了概括原则的使用范围：必须提供"容器" AAA，新集合只能从已有集合中划出。
推论 4.4.2（空集存在） 标准一阶逻辑的论域约定为非空（∃x (x=x)\exists x\,(x=x)∃x(x=x) 为逻辑真理）。任取一集合 AAA，以 φ(x)\varphi(x)φ(x) 为 x≠xx \neq xx=x，分离得 {x∈A∣x≠x}=∅\{x \in A \mid x \neq x\} = \varnothing{x∈A∣x=x}=∅。故空集存在且唯一。
推论 4.4.3（交、差、任意交） 对任意集合 A,BA,BA,B，交集 A∩B:={x∈A∣x∈B}A \cap B := \{x \in A \mid x \in B\}A∩B:={x∈A∣x∈B}，差集 A∖B:={x∈A∣x∉B}A \setminus B := \{x \in A \mid x \notin B\}A∖B:={x∈A∣x∈/B} 皆为集合。更一般地，若非空集族 F\mathcal{F}F 有一个给定的"指标集" III 且可通过某集合表达其交的容器，则 ⋂F\bigcap \mathcal{F}⋂F 也是集合（只需取任意 A∈FA \in \mathcal{F}A∈F 并分离满足 ∀Y∈F(x∈Y)\forall Y{\in}\mathcal{F}(x{\in}Y)∀Y∈F(x∈Y) 的元素）。
分离公理只能得到已有集合的子集，无法产生更大的集合。这一局限将由后续的配对、并集、幂集和替换公理补充。
4.5 配对公理：无序对与有序对
公理 4.5.1（配对公理）
∀a ∀b ∃C ∀x (x∈C↔(x=a∨x=b)). \forall a\,\forall b\,\exists C\,\forall x\,\big(x \in C \leftrightarrow (x = a \lor x = b)\big). ∀a∀b∃C∀x(x∈C↔(x=a∨x=b)).
对任意集合 a,ba,ba,b，恰以它们为元素的集合 CCC 存在，记作 {a,b}\{a, b\}{a,b}。当 a=ba=ba=b 时，即得到单元素集 {a}\{a\}{a}。配对公理使得我们可以从空集出发生成任意有限多个集合的简单汇集。
推论 4.5.2（有序对的定义，库拉托夫斯基 1921） 利用无序对可定义有序对：
(a,b):={{a},{a,b}}. (a, b) := \big\{\{a\}, \{a, b\}\big\}. (a,b):={{a},{a,b}}.
可证：(a,b)=(c,d)(a,b)=(c,d)(a,b)=(c,d) 当且仅当 a=ca=ca=c 且 b=db=db=d。
证明 ：设 {{a},{a,b}}={{c},{c,d}}\{\{a\},\{a,b\}\} = \{\{c\},\{c,d\}\}{{a},{a,b}}={{c},{c,d}}。由集合相等，分两种情况：
- 情况 1 {a}={c}\{a\} = \{c\}{a}={c} 且 {a,b}={c,d}\{a,b\} = \{c,d\}{a,b}={c,d}。前者给出 a=ca=ca=c；代入后者得 {a,b}={a,d}\{a,b\}=\{a,d\}{a,b}={a,d}，故 b=db=db=d。
- 情况 2 {a}={c,d}\{a\} = \{c,d\}{a}={c,d} 且 {a,b}={c}\{a,b\} = \{c\}{a,b}={c}。由 {a}={c,d}\{a\} = \{c,d\}{a}={c,d} 得 c,d∈{a}c,d \in \{a\}c,d∈{a}，故 c=ac=ac=a 且 d=ad=ad=a。由 {a,b}={c}={a}\{a,b\} = \{c\} = \{a\}{a,b}={c}={a} 知该集为单元素集，故 a=ba=ba=b。于是 a=b=c=da=b=c=da=b=c=d。
二者皆导致 a=ca=ca=c 且 b=db=db=d。逆方向显然。∎
有序对的构造未引入任何新的原始概念，展示了集合论强大的编码能力。
4.6 并集公理：展平元素之元素
公理 4.6.1（并集公理）
∀F ∃A ∀Y ∀x (x∈Y∧Y∈F)→x∈A. \forall \mathcal{F}\,\exists A\,\forall Y\,\forall x\,\big(x \\in Y \\land Y \\in \\mathcal{F}) \\to x \\in A\\big. ∀F∃A∀Y∀x(x∈Y∧Y∈F)→x∈A.
公理只断言存在一个包含所有"元素之元素"的"大"集合 AAA。欲得精确并集，需运用分离公理：
⋃F:={x∈A ∣ ∃Y∈F (x∈Y)}. \bigcup \mathcal{F} := \Big\{x \in A \;\Big|\; \exists Y{\in}\mathcal{F}\,(x \in Y)\Big\}. ⋃F:={x∈A ∃Y∈F(x∈Y)}.
由此，二元并 A∪B=⋃{A,B}A \cup B = \bigcup\{A,B\}A∪B=⋃{A,B}、三元并等均合法。并集公理与配对公理结合，可生成任意有限个集合的并。在构造自然数时，后继运算 S(x)=x∪{x}S(x)=x\cup\{x\}S(x)=x∪{x} 的合法性即依赖并集与配对。
4.7 幂集公理：所有子集的集合
公理 4.7.1（幂集公理）
∀X ∃P ∀u (u∈P↔u⊆X). \forall X\,\exists P\,\forall u\,\big(u \in P \leftrightarrow u \subseteq X\big). ∀X∃P∀u(u∈P↔u⊆X).
记 P=P(X)P = \mathcal{P}(X)P=P(X)。该公理极大拓展了集合存在性的强度：从任意集合 XXX 产生一个基数严格更大的集合（康托定理）。幂集是构建函数空间、不可数集合、累积层级的基础。
推论 4.7.2（笛卡尔积） 对集合 A,BA,BA,B，它们的笛卡尔积 A×B:={(a,b)∣a∈A,b∈B}A \times B := \{(a,b) \mid a \in A, b \in B\}A×B:={(a,b)∣a∈A,b∈B} 可构造如下：因为当 a∈A,b∈Ba\in A, b\in Ba∈A,b∈B 时，{a}\{a\}{a} 与 {a,b}\{a,b\}{a,b} 均 ⊆A∪B\subseteq A\cup B⊆A∪B，故 (a,b)⊆P(A∪B)(a,b) \subseteq \mathcal{P}(A\cup B)(a,b)⊆P(A∪B)，即 (a,b)∈P(P(A∪B))(a,b) \in \mathcal{P}(\mathcal{P}(A\cup B))(a,b)∈P(P(A∪B))。于是应用分离公理：
A×B:={z∈P(P(A∪B)) ∣ ∃a∈A ∃b∈B (z=(a,b))}. A \times B := \Big\{ z \in \mathcal{P}(\mathcal{P}(A\cup B)) \;\Big|\; \exists a{\in}A\,\exists b{\in}B\,(z = (a,b)) \Big\}. A×B:={z∈P(P(A∪B)) ∃a∈A∃b∈B(z=(a,b))}.
这一定义完全基于并集、幂集、配对与分离，无需引入新的原始概念。
4.8 替换公理模式：函数的像集
分离公理只能删选，不能"放大"。然而，若在集合 AAA 上定义了一个"函数"对应 x↦yxx \mapsto y_xx↦yx，其所有像的全体理应构成集合。弗兰克尔于 1922 年提出的替换公理模式填补了这一缺陷，它也是现代集合论最强有力的存在性公理之一。
公理 4.8.1（替换公理模式） 对任一公式 φ(x,y,p)\varphi(x,y,p)φ(x,y,p)（参数 ppp），若它满足单值性条件 ：
∀x ∀y ∀z (φ(x,y,p)∧φ(x,z,p)→y=z), \forall x\,\forall y\,\forall z\,\big(\varphi(x,y,p) \land \varphi(x,z,p) \to y = z\big), ∀x∀y∀z(φ(x,y,p)∧φ(x,z,p)→y=z),
则下述全称闭包为公理：
∀A ∃B ∀y y∈B↔∃x∈A φ(x,y,p). \forall A\,\exists B\,\forall y\,\bigy \\in B \\leftrightarrow \\exists x{\\in}A\\,\\varphi(x,y,p)\\big. ∀A∃B∀yy∈B↔∃x∈Aφ(x,y,p).
直观上，φ\varphiφ 定义了一个"部分类函数"：对每个 xxx 至多对应一个 yyy。公理保证，限制 xxx 在集合 AAA 上时，这些对应的 yyy 的汇集构成集合 BBB。当 ∀x∈A ∃!y φ(x,y,p)\forall x{\in}A\,\exists! y\,\varphi(x,y,p)∀x∈A∃!yφ(x,y,p) 时，BBB 正是该函数的像。
注 4.8.2 替换公理模式可推导分离公理模式。取 φ(x,y)\varphi(x,y)φ(x,y) 为 y=x∧ψ(x)y = x \land \psi(x)y=x∧ψ(x)，则单值性成立。对集合 AAA，替换所得集合即为 {x∈A∣ψ(x)}\{x \in A \mid \psi(x)\}{x∈A∣ψ(x)}。尽管如此，在初等教学中通常仍独立列出分离公理。
替换公理是构造大序数、长超限序列、累积层级等大型结构的不二工具。
4.9 无穷公理：第一个无穷集合
至此，所有公理在有限集合上操作，结果仍为有限（或任意大的遗传有限集），无法证明存在无穷集合。康托的超限理论要求至少存在一个无穷集合作为舞台。
公理 4.9.1（无穷公理）
∃I ∅∈I∧∀x (x∈I→x∪{x}∈I). \exists I\,\big\\varnothing \\in I \\land \\forall x\\,(x \\in I \\to x \\cup \\{x\\} \\in I)\\big. ∃I∅∈I∧∀x(x∈I→x∪{x}∈I).
称满足这两个条件的 III 为归纳集 。无穷公理直接断言存在至少一个归纳集。运用分离公理，定义自然数集合 ω\omegaω 为该归纳集中所有属于一切归纳集的元素的汇集：
ω:={x∈I ∣ ∀J (J 是归纳集 →x∈J)}. \omega := \Big\{ x \in I \;\Big|\; \forall J\,\big(J\text{ 是归纳集 } \to x \in J\big) \Big\}. ω:={x∈I ∀J(J 是归纳集 →x∈J)}.
易见 ω\omegaω 自身是归纳集，且是最小的归纳集。它的元素恰好是经过有限次后继运算从空集可得的集合，即集合论版的自然数，冯·诺依曼序数定义如下：
- 0:=∅0 := \varnothing0:=∅
- 1:=S(0)={∅}={0}1 := S(0) = \{\varnothing\} = \{0\}1:=S(0)={∅}={0}
- 2:=S(1)={∅,{∅}}={0,1}2 := S(1) = \{\varnothing,\{\varnothing\}\} = \{0,1\}2:=S(1)={∅,{∅}}={0,1}
- 一般地，n+1:=n∪{n}={0,1,...,n}n+1 := n \cup \{n\} = \{0,1,\dots,n\}n+1:=n∪{n}={0,1,...,n}。
这种定义使得 n<m ⟺ n∈mn < m \iff n \in mn<m⟺n∈m，序关系与隶属关系天然合一。
定理 4.9.2（皮亚诺公理的集合论实现） 结构 ⟨ω,0,S⟩\langle \omega, 0, S \rangle⟨ω,0,S⟩ 满足皮亚诺公理：
- 0∈ω0 \in \omega0∈ω。
- n∈ω⇒S(n)∈ωn \in \omega \Rightarrow S(n) \in \omegan∈ω⇒S(n)∈ω。
- ∀n∈ω (S(n)≠0)\forall n{\in}\omega\,(S(n) \neq 0)∀n∈ω(S(n)=0)，因 n∈S(n)n \in S(n)n∈S(n)。
- SSS 是单射：S(n)=S(m)⇒n=mS(n)=S(m) \Rightarrow n=mS(n)=S(m)⇒n=m。证明梗概 ：利用 ∈\in∈ 在自然数上的传递性与正则公理（确保 n∉nn \notin nn∈/n 等），若 S(n)=S(m)S(n)=S(m)S(n)=S(m)，则 n∪{n}=m∪{m}n \cup \{n\} = m \cup \{m\}n∪{n}=m∪{m}。若 n≠mn \neq mn=m，不妨设 n∈mn \in mn∈m，则可导出矛盾。
- 归纳原理：若 A⊆ωA \subseteq \omegaA⊆ω 且 0∈A0 \in A0∈A，∀n∈A (S(n)∈A)\forall n{\in}A\,(S(n)\in A)∀n∈A(S(n)∈A)，则 A=ωA = \omegaA=ω。此因 ω\omegaω 为最小归纳集。
于是，整个皮亚诺算术在 ZFC 内部严格建立，自然数理论的相容性归约到集合论。
4.10 正则公理：良基性与无循环
公理 4.10.1（正则公理，亦称基础公理）
∀A (A≠∅→∃x∈A (x∩A=∅)). \forall A\,\big(A \neq \varnothing \to \exists x{\in}A\,(x \cap A = \varnothing)\big). ∀A(A=∅→∃x∈A(x∩A=∅)).
任何非空集合都有一个与它不相交的元素。这等价于：关于 ∈\in∈ 关系，每个非空集合都有一个"极小元"（相对于属于关系）。正则公理严格禁止了无穷降链 ⋯∈x3∈x2∈x1∈x0\dots \in x_3 \in x_2 \in x_1 \in x_0⋯∈x3∈x2∈x1∈x0 以及任何形式的循环，如 x∈xx \in xx∈x 或 x∈y∈xx \in y \in xx∈y∈x。
推论 4.10.2 对任意集合 xxx，x∉xx \notin xx∈/x。若不然，单元素集 {x}\{x\}{x} 的唯一元素 xxx 与 {x}\{x\}{x} 相交非空（包含 xxx），违背正则公理。
正则公理将集合宇宙塑造为良基的累积层级：每个集合都属于由空集开始，通过迭代幂集与并集建造的分层结构 VαV_\alphaVα。可以证明，在 ZFC 下，∀x ∃α (x∈Vα)\forall x\,\exists \alpha\,(x \in V_\alpha)∀x∃α(x∈Vα)，其中
V0=∅,Vα+1=P(Vα),Vλ=⋃α<λVα (λ 极限). V_0 = \varnothing,\quad V_{\alpha+1} = \mathcal{P}(V_\alpha),\quad V_\lambda = \bigcup_{\alpha<\lambda} V_\alpha\ (\lambda\text{ 极限}). V0=∅,Vα+1=P(Vα),Vλ=α<λ⋃Vα (λ 极限).
这一分层结构直观、安全且便于元数学研究。
4.11 选择公理：无处不在的非构造性力量
公理 4.11.1（选择公理 AC）
∀F (∅∉F∧∀X,Y∈F(X≠Y→X∩Y=∅))→∃C ∀X∈F ∃!x (x∈X∩C). \forall \mathcal{F}\,\Big\\big(\\varnothing\\notin\\mathcal{F} \\land \\forall X,Y{\\in}\\mathcal{F}(X{\\neq}Y \\to X{\\cap}Y{=}\\varnothing)\\big) \\to \\exists C\\,\\forall X{\\in}\\mathcal{F}\\,\\exists! x\\,(x \\in X \\cap C)\\Big. ∀F(∅∈/F∧∀X,Y∈F(X=Y→X∩Y=∅))→∃C∀X∈F∃!x(x∈X∩C).
对任意由两两不交的非空集合组成的族，存在一个选择集 CCC，恰好从每个集合中挑选出一个代表元。
选择公理的非构造性使其历史上颇具争议，但它等价于良序定理（每个集合都可良序化）和佐恩引理等大量核心数学命题，已成为主流数学的默认假设。ZFC 中的 "C" 即代表此公理。详细的等价性分析留待第六章。
4.12 数学宇宙的基本构造：关系、函数与商集
在公理确立的基础上，我们可以安全地定义所有标准的数学概念。
关系 ：集合 AAA 到 BBB 的二元关系 RRR 定义为笛卡尔积的子集 R⊆A×BR \subseteq A \times BR⊆A×B。nnn 元关系可递归定义。
函数 ：若关系 f⊆A×Bf \subseteq A \times Bf⊆A×B 满足 ∀x∈A ∃!y∈B ((x,y)∈f)\forall x{\in}A\,\exists! y{\in}B\,((x,y)\in f)∀x∈A∃!y∈B((x,y)∈f)，则称 fff 为从 AAA 到 BBB 的函数，记作 f:A→Bf: A \to Bf:A→B。所有这样函数的集合记作 BAB^ABA，它是 P(A×B)\mathcal{P}(A \times B)P(A×B) 的子集。函数值的记法 f(x)f(x)f(x) 指代那唯一的 yyy。
等价关系与商集 ：集合 AAA 上的等价关系 ∼\sim∼ 是满足自反性、对称性和传递性的二元关系。对 x∈Ax \in Ax∈A，等价类 x∼:={y∈A∣y∼x}x\sim := \{y \in A \mid y \sim x\}x∼:={y∈A∣y∼x} 是 AAA 的子集。所有等价类构成的商集 A/∼:={x∼∣x∈A}A/{\sim} := \{x\sim \mid x \in A\}A/∼:={x∼∣x∈A} 的存在性由替换公理保证，因为映射 x↦x∼x \mapsto x_\simx↦x∼ 定义在集合 AAA 上的函数关系。这一构造是商群、商环、商空间等代数结构的集合论基石。
4.13 序数：良序长度的标准尺度
4.13.1 传递集与序数
定义 4.13.1
- 集合 TTT 称为传递集 ，若 ∀x∈T (x⊆T)\forall x{\in}T\,(x \subseteq T)∀x∈T(x⊆T)，即元素的元素仍是元素。
- 集合 α\alphaα 称为序数 ，若 α\alphaα 是传递集且 ∈\in∈ 关系在 α\alphaα 上是严格全序（满足连通性：∀x,y∈α (x∈y∨x=y∨y∈x)\forall x,y{\in}\alpha\,(x \in y \lor x = y \lor y \in x)∀x,y∈α(x∈y∨x=y∨y∈x)）。在正则公理下，∈\in∈ 自动成为 α\alphaα 上的良序。
例 ：0=∅0=\varnothing0=∅ 是序数；若 α\alphaα 是序数，则 S(α)=α∪{α}S(\alpha)=\alpha\cup\{\alpha\}S(α)=α∪{α} 是序数；全体自然数集 ω\omegaω 是序数，且它不是任何序数的后继，称为极限序数。
引理 4.13.2 序数的元素皆为序数。对任意序数 α,β\alpha,\betaα,β，α∈β ⟺ α⊊β\alpha \in \beta \iff \alpha \subsetneq \betaα∈β⟺α⊊β。记 α<β\alpha < \betaα<β 当且仅当 α∈β\alpha \in \betaα∈β，则序数类被 <<< 良序（虽然全体序数构成真类，不是集合）。
4.13.2 超限归纳法
定理 4.13.3（超限归纳法） 设 P(α)P(\alpha)P(α) 是关于序数的性质。若对于每个序数 α\alphaα，可由"对所有 β<α\beta < \alphaβ<α 有 P(β)P(\beta)P(β)"推出 P(α)P(\alpha)P(α)，则 P(α)P(\alpha)P(α) 对所有序数成立。
证明 ：假设不然，存在某序数使 PPP 假。考虑非空集合 {β≤α∣¬P(β)}\{\beta \le \alpha \mid \neg P(\beta)\}{β≤α∣¬P(β)}，取其最小元 γ\gammaγ。则对所有 δ<γ\delta < \gammaδ<γ 有 P(δ)P(\delta)P(δ)，由前提应得 P(γ)P(\gamma)P(γ)，矛盾。∎
4.13.3 超限递归定义
定理 4.13.4（超限递归定理） 给定一个类函数 GGG（由公式定义），存在唯一的定义在所有序数上的类函数 FFF，使得对每个序数 α\alphaα，F(α)=G(F↾α)F(\alpha) = G(F \upharpoonright \alpha)F(α)=G(F↾α)，其中 F↾αF \upharpoonright \alphaF↾α 是 FFF 限制在比 α\alphaα 小的序数上的函数。该定理的严格证明需反复应用替换公理以拼接序数片段，此处从略，但其应用涵盖序数算术、基数算术及累积层级等所有超限构造。
4.14 序数算术：加、乘与幂
利用超限递归，序数算术定义如下（固定 α\alphaα）：
加法 ：
α+0=α,α+S(β)=S(α+β),α+λ=⋃β<λ(α+β) (λ 极限). \alpha + 0 = \alpha,\quad \alpha + S(\beta) = S(\alpha + \beta),\quad \alpha + \lambda = \bigcup_{\beta < \lambda}(\alpha + \beta) \;(\lambda\text{ 极限}). α+0=α,α+S(β)=S(α+β),α+λ=β<λ⋃(α+β)(λ 极限).
乘法 ：
α⋅0=0,α⋅S(β)=α⋅β+α,α⋅λ=⋃β<λ(α⋅β). \alpha \cdot 0 = 0,\quad \alpha \cdot S(\beta) = \alpha \cdot \beta + \alpha,\quad \alpha \cdot \lambda = \bigcup_{\beta < \lambda}(\alpha \cdot \beta). α⋅0=0,α⋅S(β)=α⋅β+α,α⋅λ=β<λ⋃(α⋅β).
指数 ：
α0=1,αS(β)=αβ⋅α,αλ=⋃β<λαβ. \alpha^0 = 1,\quad \alpha^{S(\beta)} = \alpha^\beta \cdot \alpha,\quad \alpha^\lambda = \bigcup_{\beta < \lambda} \alpha^\beta. α0=1,αS(β)=αβ⋅α,αλ=β<λ⋃αβ.
这些运算限制在 ω\omegaω 上回到普通算术，但在无穷序数上呈现出非交换等不对称现象，如 1+ω=ω≠ω+11+\omega = \omega \neq \omega+11+ω=ω=ω+1，2⋅ω=ω≠ω⋅2=ω+ω2 \cdot \omega = \omega \neq \omega \cdot 2 = \omega+\omega2⋅ω=ω=ω⋅2=ω+ω，深刻反映了良序拼接与重复的几何直观。
4.15 基数：等势、康托定理与阿列夫层级
4.15.1 等势与基数
定义 4.15.1 集合 AAA 与 BBB 等势 （记作 A≈BA \approx BA≈B）若存在双射 A→BA \to BA→B。等势是一等价关系。借助选择公理的等价物良序定理，任何集合都可良序化，从而与某序数等势。因此定义集合的基数为其等势等价类中的最小序数：
∣A∣:=与 A 等势的最小序数. |A| := \text{与 } A \text{ 等势的最小序数}. ∣A∣:=与 A 等势的最小序数.
称序数 κ\kappaκ 为基数 ，若对所有 α<κ\alpha < \kappaα<κ，α≉κ\alpha \not\approx \kappaα≈κ。有限基数恰为自然数；ω\omegaω 是最小的无穷基数，记作 ℵ0\aleph_0ℵ0。比 ℵ0\aleph_0ℵ0 大的最小基数为 ℵ1\aleph_1ℵ1，依此类推，可超限递归定义所有 ℵα\aleph_\alphaℵα。
4.15.2 康托定理
定理 4.15.3（康托定理） 对任意集合 XXX，∣X∣<∣P(X)∣|X| < |\mathcal{P}(X)|∣X∣<∣P(X)∣。
证明 ：单射 x↦{x}x \mapsto \{x\}x↦{x} 给出 ∣X∣≤∣P(X)∣|X| \le |\mathcal{P}(X)|∣X∣≤∣P(X)∣。假设存在满射 f:X→P(X)f: X \to \mathcal{P}(X)f:X→P(X)，构造对角线集 D={x∈X∣x∉f(x)}D = \{x \in X \mid x \notin f(x)\}D={x∈X∣x∈/f(x)}。由满射性，存在 d∈Xd \in Xd∈X 使 f(d)=Df(d)=Df(d)=D。询问 d∈Dd \in Dd∈D 立即导致矛盾。故满射不存在，基数不相等，故严格小于。∎
这揭示了对任意无穷基数 κ\kappaκ，2κ>κ2^\kappa > \kappa2κ>κ，从而存在任意大的无穷基数。连续统假设 CH\text{CH}CH 猜测 2ℵ0=ℵ12^{\aleph_0} = \aleph_12ℵ0=ℵ1，其在 ZFC 中的独立性将在第七章展示。
4.16 累积层级：集合宇宙的全景图
在正则公理、幂集与替换的联合作用下，整个集合宇宙可被分层构造为累积层级 VVV：
V0=∅,Vα+1=P(Vα),Vλ=⋃α<λVα (λ 极限). V_0 = \varnothing,\quad V_{\alpha+1} = \mathcal{P}(V_\alpha),\quad V_\lambda = \bigcup_{\alpha < \lambda} V_\alpha\;(\lambda\text{ 极限}). V0=∅,Vα+1=P(Vα),Vλ=α<λ⋃Vα(λ 极限).
可以证明（利用正则公理与超限归纳），对任意集合 xxx，存在序数 α\alphaα 使得 x∈Vαx \in V_\alphax∈Vα。这给出了集合宇宙的"骨架"：一切集合均从空集通过反复取幂集与并集次第生成，完美映照了"良基"与"累积"的哲学理念，并为布尔值模型、力迫扩张等提供了清晰的语义基座。
4.17 选择公理的等价命题及其应用概览
选择公理以多种面貌出现于数学证明中，最重要的两个等价命题是：
- 良序定理 ：任何集合上皆可赋予一个良序。即 ∀A ∃R (R⊆A×A 且 (A,R) 是良序)\forall A\,\exists R\,(R \subseteq A \times A \text{ 且 } (A,R) \text{ 是良序})∀A∃R(R⊆A×A 且 (A,R) 是良序)。
- 佐恩引理 ：设非空偏序集 (P,≤)(P,\le)(P,≤) 中每个链都有上界，则 PPP 含有极大元。
这两个命题在代数（如向量空间基的存在性）、分析（如 Hahn--Banach 定理）、拓扑（Tychonoff 紧致性定理）等领域起着支柱作用，它们均等价于选择公理（在 ZF 中），这将在第六章详加证明。
4.18 本章总结：十条例公理构筑的数学基底
我们从罗素悖论出发，逐条引入了外延、分离、配对、并集、幂集、替换、无穷、正则与选择公理（含模式共十条）。这些公理构成了 ZFC 系统，已成为当代数学公认的基础。利用它们，我们严格定义了有序对、函数、等价关系与商集，构造了自然数、序数和基数，证明了康托定理，并描绘了累积宇宙的层级图景。整个经典数学大厦------代数、分析、几何、拓扑------原则上都能由这少数公理通过逻辑演绎建构出来。这正是公理化集合论的不朽成就：将无穷丰富的数学还原为简单的"属于"关系与等词，并在这一贫瘠的语言上建立起推理严格性的最高典范。