启程：数学宇宙的坐标系与基础工具

数学宇宙的探险并非始于奇观，而始于工具。正如航海者依赖罗盘与星图，数学探险者需要一套精密的语言来刻画思想，一套坚实的公理来构筑基石。本章将授予你这两件核心装备：一阶逻辑作为探索数学宇宙的通用语言，以及以ZFC公理系统为蓝本的集合论地图。我们将深入其语法与语义的肌理，审视其历史演进中的危机与解决方案，并亲手在ZFC的领地上定义数学中最根本的两个构造：自然数与实数。最终，我们将触及选择公理这一深刻而富争议的命题，目睹它如何如密钥般开启更广阔理论殿堂的大门。整个旅程将贯穿中英双语，并初步引入模型论的Tarskian视角，为后续的探险奠定不可动摇的基础。

---

**一阶逻辑：数学宇宙的通用语法**

要绘制数学宇宙的地图，首先需要一种精确描述其结构的语言。一阶逻辑（First-Order Logic, FOL），亦称谓词逻辑（Predicate Logic），正是这门被广泛采纳的“数学通用语”。它足够强大以表达绝大多数数学理论，又足够受限以保证良好元性质（如哥德尔完备性定理所保证的句法一致性与语义完备性对应）。

**1.1 语法：符号、项与公式的递归生成**

一阶逻辑的语法是一个形式系统，定义了什么是合法的表达式。其核心要素包括：

• **符号集**：
• **逻辑符号**（Logical Symbols）：通用存在量词 $\exists$，全称量词 $\forall$，逻辑连接词 $\neg$（非），$\land$（与），$\lor$（或），$\rightarrow$（蕴含），$\leftrightarrow（双蕴含），等号 $=$，以及无穷多个**变量** $x, y, z, \dots$。这些符号的意义在所有解释下固定不变。
• **非逻辑符号**（Non-Logical Symbols）：依赖于具体理论。包括：
• **常量符号**（Constant Symbols）：如 $0, 1, \emptyset$。
• **函数符号**（Function Symbols）：如 $+$（二元），$\sin$（一元），其**元数**（arity）指明所需参数个数。
• **谓词符号**（Predicate Symbols）：如 $<$（二元），$P(x)$（一元），表示关系或性质。

• **项**（Terms）：表示“对象”的表达式。递归定义如下：

1. 每个变量是一个项。 2. 每个常量符号是一个项。 3. 若 $f$ 是 $n$ 元函数符号，且 $t_1, \dots, t_n$ 是项，则 $f(t_1, \dots, t_n)$ 是一个项。

• *示例*：若 $+$ 是二元函数，$0$ 是常量，$x$ 是变量，则 $+(+(x, 0), x)$ 是一个项（通常写作 $x + 0 + x$）。

• **公式**（Formulas / Well-Formed Formulas, WFFs）：表示“命题”或“陈述”的表达式，有真值。递归定义如下：

1. 若 $P$ 是 $n$ 元谓词符号，且 $t_1, \dots, t_n$ 是项，则 $P(t_1, \dots, t_n)$ 是一个原子公式（Atomic Formula）。 2. 若 $\varphi$ 和 $\psi$ 是公式，则 $\neg\varphi$， $(\varphi \land \psi)$， $(\varphi \lor \psi)$， $(\varphi \rightarrow \psi)$， $(\varphi \leftrightarrow \psi)$ 是公式。 3. 若 $\varphi$ 是公式，$x$ 是变量，则 $\forall x \varphi$ 和 $\exists x \varphi$ 是公式。

• **自由变量**（Free Variable）：在公式 $\varphi$ 中，未被量词约束的变量。若公式无自由变量，则称为**句子**（Sentence）或**闭公式**（Closed Formula），表达一个确定的命题。
• *示例*：$\forall x \exists y (x < y)$ 是句子；$x < y$ 中 $x, y$ 均自由；$\forall x (P(x) \rightarrow Q(x)) \land R(y)$ 中 $y$ 自由。

语法仅关乎形式结构，不涉及意义。$\forall x P(x) \rightarrow \exists x P(x)$ 在语法上合法，但其真值取决于后续的语义解释。

**1.2 语义：Tarskian 真值定义**

语义回答“一个公式在什么情况下为真？”的问题。阿尔弗雷德·塔斯基（Alfred Tarski）在1930年代提出了其著名的真值定义，成为现代模型论的基石。一个结构（Structure）或模型（Model） $\mathcal{M}$ 为形式语言赋予了意义：

$$\mathcal{M} = \langle D, I \rangle$$

• $D$ 是非空**论域**（Domain / Universe），即讨论对象的集合。
• $I$ 是**解释函数**（Interpretation Function），将非逻辑符号映射到 $D$ 上：
• 每个常量符号 $c$ 映射到 $D$ 中一个元素 $c^{\mathcal{M}}$。
• 每个 $n$ 元函数符号 $f$ 映射到 $D^n \to D$ 的一个函数 $f^{\mathcal{M}}$。
• 每个 $n$ 元谓词符号 $P$ 映射到 $D^n$ 的一个关系 $P^{\mathcal{M}} \subseteq D^n$。

赋值（Assignment） $s$ 为每个自由变量指定 $D$ 中的一个元素。给定结构 $\mathcal{M}$ 和赋值 $s$，我们递归定义项 $t$ 的值 $t^{\mathcal{M}, s} \in D$ 和公式 $\varphi$ 的真值 $\mathcal{M}, s \models \varphi$（读作“$\varphi$ 在 $\mathcal{M}$ 中关于 $s$ 成立”）：

• **项的值**：
• 若 $t$ 是变量 $x$，则 $t^{\mathcal{M}, s} = s(x)$。
• 若 $t$ 是常量 $c$，则 $t^{\mathcal{M}, s} = c^{\mathcal{M}}$。
• 若 $t = f(t_1, \dots, t_n)$，则 $t^{\mathcal{M}, s} = f^{\mathcal{M}}(t_1^{\mathcal{M}, s}, \dots, t_n^{\mathcal{M}, s})$。

• **公式的真值**（关键递归步骤）：
• 原子公式：$\mathcal{M}, s \models P(t_1, \dots, t_n)$ 当且仅当 $(t_1^{\mathcal{M}, s}, \dots, t_n^{\mathcal{M}, s}) \in P^{\mathcal{M}}$。
• 连接词：$\mathcal{M}, s \models \neg\varphi$ 当且仅当 $\mathcal{M}, s \not\models \varphi$；$\mathcal{M}, s \models (\varphi \land \psi)$ 当且仅当 $\mathcal{M}, s \models \varphi$ 且 $\mathcal{M}, s \models \psi$（其余类似）。
• 量词（核心）：
• $\mathcal{M}, s \models \forall x \varphi$ 当且仅当 对于**所有** $d \in D$，有 $\mathcal{M}, s[x \mapsto d] \models \varphi$。其中 $s[x \mapsto d]$ 是将变量 $x$ 的值改为 $d$ 的新赋值，其余不变。
• $\mathcal{M}, s \models \exists x \varphi$ 当且仅当 存在**某个** $d \in D$，使得 $\mathcal{M}, s[x \mapsto d] \models \varphi$。

• **句子的真值**：若 $\varphi$ 是句子（无自由变量），则其真值独立于赋值 $s$，我们简写为 $\mathcal{M} \models \varphi$，称 $\mathcal{M}$ 是 $\varphi$ 的一个**模型**，或 $\varphi$ 在 $\mathcal{M}$ 中**成立**。

• **理论**（Theory） $T$ 是一组句子的集合。$\mathcal{M}$ 是 $T$ 的模型（$\mathcal{M} \models T$），当且仅当 $\mathcal{M} \models \varphi$ 对所有 $\varphi \in T$ 成立。
• **可满足性**（Satisfiability）：一个公式（或理论）是可满足的，如果存在至少一个模型使其成立。
• **有效性**（Validity / Logical Truth）：一个公式是有效的（$\models \varphi$），如果它在**所有**结构 $\mathcal{M}$ 中都成立。例如，$\forall x (x = x)$ 是有效的，而 $\exists x (x = x)$ 仅在非空论域下有效（我们通常假设论域非空）。

**1.3 可满足性、有效性与紧致性**

• **可满足性**是模型论的核心概念。证明一个公式可满足，就是**构造**一个模型。例如，公式 $\exists x \forall y (P(y) \rightarrow y = x)$（存在一个 $P$-元）在论域 $D=\{a\}$，$P^{\mathcal{M}} = D$ 的模型中成立。
• **有效性**与可满足性通过否定联系：$\varphi$ 有效当且仅当 $\neg\varphi$ 不可满足。
• **紧致性定理**（Compactness Theorem）：一个句子集合 $T$ 是可满足的，当且仅当它的**每个有限子集**都是可满足的。这是哥德尔完备性定理的推论，也是模型论最强大的工具之一。它允许我们通过处理有限信息来推断无穷系统的可满足性，并导出一些反直觉的结果（如非标准分析中的无穷小量存在性）。

---

**ZFC：集合论地图的公理基石**

一阶逻辑提供了语言，但我们需要一套具体的公理来定义“集合”及其基本操作。策梅洛-弗兰克尔集合论（Zermelo-Fraenkel Set Theory, ZF），加上选择公理（Axiom of Choice, AC）后称为ZFC，是当代数学最广泛接受的基础。它将所有数学对象都视为集合（set），集合的元素也是集合。

**2.1 核心公理详解**

ZFC公理以一阶逻辑为背景，使用仅含 $\in$（属于）和 $=$ 的非逻辑符号。以下是核心公理的直观陈述与形式化（$\varphi(x)$ 表示公式，$x$ 自由）：

1. 外延公理（Axiom of Extensionality）： $$\forall x \forall y (\forall z (z \in x \leftrightarrow z \in y) \rightarrow x = y)$$

• **意义**：两个集合相等当且仅当它们有完全相同的元素。这是集合作为“对象的汇集”的根本定义。
• **示例**：$\{a, b\}$ 和 $\{b, a\}$ 是同一个集合。$\{a, \{b\}\}$ 和 $\{a, b\}$ 不同，因为前者有一个元素是集合 $\{b\}$。

2. 空集公理（Axiom of Empty Set）： $$\exists x \forall y (y \notin x)$$

• **意义**：存在一个没有任何元素的集合，记为 $\emptyset$。由外延公理，这样的集合是唯一的。
• **注意**：在某些表述中，空集作为常量符号直接引入。

3. 配对公理（Axiom of Pairing）： $$\forall x \forall y \exists z \forall w (w \in z \leftrightarrow (w = x \lor w = y))$$

• **意义**：给定任意两个集合 $x, y$，存在一个集合 $z$，其元素**恰好**是 $x$ 和 $y$。记为 $\{x, y\}$。当 $x=y$ 时，得到单元集 $\{x\}$。
• **示例**：由 $\emptyset$ 和 $\emptyset$，可得 $\{\emptyset\}$（即通常的 $1$，见后）。由 $\emptyset$ 和 $\{\emptyset\}$，可得 $\{\emptyset, \{\emptyset\}\}$（即通常的 $2$）。

4. 并集公理（Axiom of Union）： $$\forall x \exists y \forall z (z \in y \leftrightarrow \exists w (w \in x \land z \in w))$$

• **意义**：给定一个集合 $x$（其元素是集合），存在一个集合 $y$，其元素是 $x$ 中所有集合的元素。$y$ 称为 $x$ 的并集，记为 $\bigcup x$ 或 $\bigcup_{w \in x} w$。
• **示例**：若 $x = \{\{1, 2\}, \{2, 3\}\}$，则 $\bigcup x = \{1, 2, 3\}$。特别地，若 $x = \{a, b\}$，则 $\bigcup x = a \cup b$（但注意 $a \cup b$ 在ZFC中需先通过配对得 $\{a, b\}$，再取并集）。

5. 幂集公理（Axiom of Power Set）： $$\forall x \exists y \forall z (z \in y \leftrightarrow \forall w (w \in z \rightarrow w \in x))$$

• **意义**：给定集合 $x$，存在一个集合 $y$，其元素是 $x$ 的所有子集。$y$ 称为 $x$ 的幂集，记为 $\mathcal{P}(x)$ 或 $2^x$。
• **示例**：$\mathcal{P}(\emptyset) = \{\emptyset\}$；$\mathcal{P}(\{\emptyset\}) = \{\emptyset, \{\emptyset\}\}$。
• **重要性**：$|\mathcal{P}(x)| > |x|$（康托尔定理），这是无穷集合层次的关键。

6. 无穷公理（Axiom of Infinity）： $$\exists x (\emptyset \in x \land \forall y (y \in x \rightarrow y \cup \{y\} \in x))$$

• **意义**：存在一个集合 $x$，它包含空集，且若 $y$ 在 $x$ 中，则 $y$ 与其单元集的并集（即 $y$ 的后继）也在 $x$ 中。这样的 $x$ 至少包含所有冯·诺依曼自然数（见后）。
• **本质**：断言无穷集合的存在，是算术的基础。

7. 分离公理模式（Axiom Schema of Separation / Subset Axiom）： *对任意公式 $\varphi(x, w_1, \dots, w_n)$（其中 $w_i$ 为参数），有* $$\forall w_1 \dots \forall w_n \forall a \exists b \forall x (x \in b \leftrightarrow (x \in a \land \varphi(x, w_1, \dots, w_n)))$$

• **意义**：给定集合 $a$ 和性质 $\varphi$，存在 $b$ 是 $a$ 中满足 $\varphi$ 的元素组成的子集。$b$ 是 $a$ 通过 $\varphi$ **分离**（Separation）得到的子集。这是对**朴素概括**（Comprehensension） $\{ x \mid \varphi(x) \}$ 的**限制**，是解决悖论的关键。
• **示例**：从 $\mathbb{N}$（若已有）中分离出偶数集 $\{ x \in \mathbb{N} \mid \exists y (x = 2 \cdot y) \}$。
• **关键作用**：取代了策梅洛最初公理中无限制的概括公理，避免了罗素悖论。

8. 替换公理模式（Axiom Schema of Replacement）： *对任意公式 $\varphi(x, y, w_1, \dots, w_n)$ 定义了一个“函数关系”（即若 $\varphi(x, y, \dots)$ 且 $\varphi(x, y', \dots)$ 则 $y=y'$），有* $$\forall w_1 \dots \forall w_n (\forall x \in a \exists ! y \varphi(x, y, w_1, \dots, w_n) \rightarrow \exists b \forall y (y \in b \leftrightarrow \exists x \in a \varphi(x, y, w_1, \dots, w_n)))$$

• **意义**：若在集合 $a$ 上有一个“（类）函数” $F$（由 $\varphi$ 定义），则其值域 $\{ F(x) \mid x \in a \}$ 也是一个集合 $b$。这是构造更大集合（如无穷序列、序数）的关键。
• **示例**：令 $\varphi(x, y