ZF 集合论公理系统 | Codeboy's Blog

形式陈述

Zermelo–Fraenkel 集合论（ZF）是用一阶逻辑写成的理论。其语言只有等号和二元关系符号 $\in$ ；在纯集合论语义中，量词遍历的每个对象都是集合。

一套标准公理表包括：

外延性：成员完全相同的集合相等；
空集、配对、并集与幂集公理：分别保证 $\varnothing$ 、 $\{a,b\}$ 、 $\bigcup A$ 与 $\mathcal P(A)$ 存在；
无穷公理：保证至少一个含 $\varnothing$ 且对 $x\mapsto x\cup\{x\}$ 封闭的集合存在；
分离模式：从已有集合中筛选满足公式的成员；
替换模式：可定义函数作用于一个集合所得的像仍被某个集合收集；
正则公理（基础公理）：每个非空集合 $A$ 都含有某个与 $A$ 不交的成员。

空集在某些最小公理表中可由无穷与分离推出，因此是否单列不改变通常所说的 ZF。分离模式对每个一阶公式 $\varphi(x,\bar p)$ 给出一条公理：

\forall A\,\exists B\,\forall x\, \bigl(x\in B\leftrightarrow x\in A\land\varphi(x,\bar p)\bigr) .

替换模式则在 $\varphi(x,y,\bar p)$ 对每个 $x\in A$ 唯一确定 $y$ 时，断言这些 $y$ 的全体构成集合。二者是公理模式：每个合适公式贡献一个实例，不能压缩成 ZF 语言内的一条量化“所有公式”的一阶公理。

选择公理不属于 ZF；加入它得到 ZFC。ZF 的一个模型是结构 $(M,\in^M)$ ，满足每条公理和每个模式实例。理论、语言和模型是三个层次：ZF 是句子集合， $\{\in\}$ 是其非逻辑词汇，而模型给这些句子提供一个具体解释。

直觉

ZF 的设计问题不是给“集合”下循环字典定义，而是规定哪些集合构造可以安全执行。配对和并集控制有限组合，幂集提升到全部子集，无穷公理打开第一个无限阶段，分离与替换让定义和递归保持在集合边界内。每次存在性都由某条公理承担，花括号本身没有造物能力。

累积层级提供整体图像：

V_0=\varnothing, \qquad V_{\alpha+1}=\mathcal P(V_\alpha), \qquad V_\lambda=\bigcup_{\alpha<\lambda}V_\alpha.

集合在某个阶段出现，后续阶段继续保留它；所有阶段合起来形成真类 $V$ ，不是一个“所有集合的集合”。正则公理与这种向上分层相容，并排除 $x\in x$ 和无限向下成员链等非良基现象。

例子与边界

自然数可按冯·诺伊曼方式编码：

0=\varnothing, \qquad n+1=n\cup\{n\}.

无穷公理先给出某个归纳集，再用分离取所有归纳集共有的部分，得到最小归纳集 $\omega$ 。配对编码有序对，乘积与分离构造关系，函数再成为满足全定义和单值条件的关系；通常数学对象由此逐层落入同一个集合论宇宙。

Russell 悖论准确显示分离的边界。若 $R=\{x:x\notin x\}$ 是集合，代入 $R$ 会得到 $R\in R\iff R\notin R$ 。ZF 只允许在给定集合 $A$ 内形成 $\{x\in A:x\notin x\}$ ，而不存在可供筛选的全集。类似地，“所有序数”可在元语言中定义为真类，却不能成为自身论域里的集合。

公理系统也有决定能力的边界。选择公理相对于 ZF 独立，连续统假设相对于 ZFC 独立；这些都是相对一致性结论，前提是基础理论本身一致。它们不表示命题缺少模型内真值，而表示既定公理不足以统一决定该真值。

推论与应用

ZF 为数、序列、关系、函数、拓扑空间和代数结构提供统一编码，因此数学证明常以 ZF 或 ZFC 作为不再重复声明的背景。编码的职责是证明对象存在；实际工作仍应使用对象公开的相等判据和运算规则，不必展开每一层集合表示。

在基础研究中，ZF 又是测量公理强度的基线。选择公理、连续统假设、大基数公理和决定性公理分别给出不同扩展；内模型、强迫和相对一致性证明比较这些扩展。模型观点还提醒我们： $(M,\in^M)$ 内部的可数性、幂集和序数只量化模型拥有的函数与子集，未必与外部观察者的判断相同。

参考资料

Herbert B. Enderton, Elements of Set Theory, Academic Press, 1977, Chapters 1–3。
Thomas Jech, Set Theory, 3rd millennium ed., Springer, 2003, Chapters 1–3。
Kenneth Kunen, Set Theory, College Publications, 2011, Chapter I。

形式陈述 ​

反向链接

形式陈述