数学公理体系大全:第二章 一阶谓词演算：进入“所有”与“存在”

第二章 一阶谓词演算：进入"所有"与"存在"

命题逻辑处理的是完整命题之间的推演，却无法进入命题的内部结构。当我们试图论证"所有自然数都有后继"或"存在一个大于零的实数"时，命题逻辑便暴露了它的局限：它无法捕捉"所有"与"存在"这两个量词的微妙逻辑，也不能处理个体与性质之间的关系。一阶谓词演算正是为填补这一缺陷而生。它将命题分解为个体、谓词和量词，建立起一套足以形式化几乎所有数学理论的通用语言。

从弗雷格的《概念文字》（1879）到皮亚诺的算术公理，再到希尔伯特与阿克曼的教科书（1928），一阶逻辑最终由哥德尔在1929年的博士论文中完成了完备性证明，成为现代数理逻辑无可撼动的基石。本章将沿着句法与语义两条线索，构建一阶谓词演算的公理系统，严格证明可靠性，并用亨金方法展示句法推出与语义后承的完美吻合。我们还会涉及演绎定理的量词限制、紧致性定理、勒文海姆--斯科伦定理，最后以一阶皮亚诺算术为例，展示这一公理系统如何承载具体的数学理论。整章将延续详尽风格，使读者能清晰看到每一个证明如何从公理与规则中生长出来。

---

2.1 一阶语言：个体、谓词与量词的舞台

2.1.1 字母表的扩充

命题逻辑的语言仅有命题变元和联结词。而一阶逻辑需要谈论个体、个体的性质以及个体之间的关系。因此，字母表必须包含：

定义 2.1.1（一阶语言 L\mathcal{L}L）

一阶语言 L\mathcal{L}L 由以下符号组成：

• 逻辑符号：

  • 可数无穷多个个体变元 ：x0,x1,x2,...x_0, x_1, x_2, \dotsx0,x1,x2,...（常写作 x,y,zx, y, zx,y,z）
  • 联结词：¬\neg¬（否定）、→\to→（蕴涵）
  • 全称量词：∀\forall∀
  • 等词：≡\equiv≡（常写作 ===，通常视为逻辑符号；我们默认语言带等词）
  • 括号：(,)( , )(,)，逗号 ,,,

• 非逻辑符号（由具体理论规定）：

  • 常量符号 ：可能为空或有穷、无穷集合，如 c0,c1,...c_0, c_1, \dotsc0,c1,...
  • 函数符号 ：每个函数符号带有一个元数 n≥1n \ge 1n≥1。例如 fnf^nfn（有时省略上标）
  • 谓词符号 ：每个谓词符号带有一个元数 n≥1n \ge 1n≥1。等词是特殊的二元谓词，但处理不同

全体非逻辑符号的集合称为语言的签名。例如：

• 集合论语言 L∈={∈}\mathcal{L}_{\in} = \{\in\}L∈={∈}，一个二元谓词符号。
• 序理论语言 L<={<}\mathcal{L}_{<} = \{<\}L<={<}。
• 环语言 Lring={+,⋅,−,0,1}\mathcal{L}_{\text{ring}} = \{+, \cdot, -, 0, 1\}Lring={+,⋅,−,0,1}，其中 +++ 和 ⋅\cdot⋅ 是二元函数，−-− 是一元函数，0,10,10,1 是常量。
• 皮亚诺算术语言 LPA={0,S,+,⋅}\mathcal{L}_{\text{PA}} = \{0, S, +, \cdot\}LPA={0,S,+,⋅}。

当我们说"给定一个一阶语言 L\mathcal{L}L"时，已明确所有常量、函数、谓词的集合。

2.1.2 项：个体世界的名字

项是指称个体的表达式。递归构造如下：

定义 2.1.2（项）

1. 每个个体变元和每个常量符号是项。
2. 若 fff 是 nnn 元函数符号，且 t1,...,tnt_1, \dots, t_nt1,...,tn 是项，则 f(t1,...,tn)f(t_1, \dots, t_n)f(t1,...,tn) 是项。
3. 只有有限次使用上述规则形成的表达式才是项。

不含变元的项称为闭项。在一般的语言中，闭项不一定存在（如果缺少常量，且函数符号需要参数）。但当我们做亨金构造时，会确保闭项足够多。

例子 ：在环语言中，(x+y)⋅z(x + y) \cdot z(x+y)⋅z 是项；在集合论语言中，没有函数和常量，因此项只有变元。自然数语言中，S(S(0))S(S(0))S(S(0)) 是闭项，即 222 的项表示。

2.1.3 公式：命题的精细结构

定义 2.1.3（原子公式）

若 PPP 是 nnn 元谓词符号，t1,...,tnt_1, \dots, t_nt1,...,tn 是项，则 P(t1,...,tn)P(t_1, \dots, t_n)P(t1,...,tn) 是原子公式。等词也可产生原子公式 t1≡t2t_1 \equiv t_2t1≡t2。

定义 2.1.4（公式）

公式集 Form⁡(L)\operatorname{Form}(\mathcal{L})Form(L) 归纳定义如下：

1. 所有原子公式是公式。
2. 若 φ\varphiφ 是公式，则 ¬φ\neg \varphi¬φ 是公式。
3. 若 φ,ψ\varphi, \psiφ,ψ 是公式，则 (φ→ψ)(\varphi \to \psi)(φ→ψ) 是公式。
4. 若 φ\varphiφ 是公式，xxx 是变元，则 ∀xφ\forall x \varphi∀xφ 是公式。

其他联结词 ∧,∨,↔\land, \lor, \leftrightarrow∧,∨,↔ 以及存在量词 ∃\exists∃ 均作为缩写引入：

∃xφ:=¬∀x¬φ. \exists x \varphi := \neg \forall x \neg \varphi. ∃xφ:=¬∀x¬φ.

公式中的括号约定与命题逻辑相似，量词的结合力与 ¬\neg¬ 相同，即 ∀xφ→ψ\forall x \varphi \to \psi∀xφ→ψ 意为 (∀xφ)→ψ(\forall x \varphi) \to \psi(∀xφ)→ψ。通常我们通过括号明确范围。

定义 2.1.5（子公式） 类似命题逻辑，直接递归定义，从略。

2.1.4 自由变元与约束变元

量词的出现带来了"变量绑定"。在一公式 ∀xφ\forall x \varphi∀xφ 中，量词 ∀x\forall x∀x 的作用范围是 φ\varphiφ，我们称 xxx 在 ∀xφ\forall x \varphi∀xφ 中为约束 出现。一个变元在某位置若不被任何量词绑定，则为自由出现。

定义 2.1.6（自由变元集合 FV(φ)FV(\varphi)FV(φ)） 递归：

• 若 φ\varphiφ 为原子 P(t1,...,tn)P(t_1,\dots,t_n)P(t1,...,tn)，则 FV(φ)FV(\varphi)FV(φ) 为出现在各项中的变元全体。
• FV(¬φ)=FV(φ)FV(\neg \varphi) = FV(\varphi)FV(¬φ)=FV(φ)。
• FV(φ→ψ)=FV(φ)∪FV(ψ)FV(\varphi \to \psi) = FV(\varphi) \cup FV(\psi)FV(φ→ψ)=FV(φ)∪FV(ψ)。
• FV(∀xφ)=FV(φ)∖{x}FV(\forall x \varphi) = FV(\varphi) \setminus \{x\}FV(∀xφ)=FV(φ)∖{x}。

若 FV(φ)=∅FV(\varphi) = \emptysetFV(φ)=∅，则称 φ\varphiφ 为语句（或闭公式）。语句在任何结构中都有确定的真值，不依赖于对变元的特定赋值。

代入与自由变元捕获 ：用项 ttt 替换公式 φ\varphiφ 中自由出现的变元 xxx，记作 φt/x\varphit/xφt/x。需保证 ttt 中的变元不会在代入后变成约束。若对于 φ\varphiφ 中每一个 xxx 的自由出现，该出现都不在某个量词 ∀y\forall y∀y（其中 yyy 为 ttt 中出现的变元）的辖域内，则称 ttt 对 xxx 在 φ\varphiφ 中是可代入的（自由的） 。我们总是假设当进行代入时，要么 ttt 对 xxx 在 φ\varphiφ 中自由，要么事先对 φ\varphiφ 中的约束变元进行重命名以消除冲突。以下代入引理 将在语义证明中起关键作用（其证明可通过施归纳于 φ\varphiφ 的结构完成，此处从略）：

引理 2.1.7（代入引理）

若 ttt 对 xxx 在 φ\varphiφ 中自由，则对任何结构 A\mathfrak{A}A 和赋值 sss，

A⊨φt/xs当且仅当A⊨φs(x∣s‾(t)), \mathfrak{A} \models \varphit/xs \quad\text{当且仅当}\quad \mathfrak{A} \models \varphis(x\|\\overline{s}(t)), A⊨φt/xs当且仅当A⊨φs(x∣s(t)),

其中 s(x∣a)s(x|a)s(x∣a) 表示将 xxx 映射为 aaa、其余变元保持 sss 值的赋值，s‾(t)\overline{s}(t)s(t) 为项 ttt 在赋值 sss 下的指称。

---

2.2 公理系统：逻辑公理与规则

一阶逻辑的公理系统是在命题逻辑公理（K, S, NN）的基础之上，添加处理量词和等词的公理。同样采用希尔伯特型系统，包含公理模式和两条推理规则。

2.2.1 公理模式

系统包含所有如下形式的公式：

A. 命题公理（对任意一阶公式适用）：

• K ：φ→(ψ→φ)\varphi \to (\psi \to \varphi)φ→(ψ→φ)
• S ：(φ→(ψ→χ))→((φ→ψ)→(φ→χ))(\varphi \to (\psi \to \chi)) \to ((\varphi \to \psi) \to (\varphi \to \chi))(φ→(ψ→χ))→((φ→ψ)→(φ→χ))
• NN ：(¬φ→¬ψ)→(ψ→φ)(\neg \varphi \to \neg \psi) \to (\psi \to \varphi)(¬φ→¬ψ)→(ψ→φ)

由于一阶公式包含量词，这些模式的实例也包含量词，继承命题逻辑的推理能力。

B. 量词公理：

• 全称实例化 （UI）：∀xφ→φt/x\forall x \varphi \to \varphit/x∀xφ→φt/x，其中项 ttt 对 xxx 在 φ\varphiφ 中可代入。
• 全称分配 （UD）：∀x(φ→ψ)→(φ→∀xψ)\forall x (\varphi \to \psi) \to (\varphi \to \forall x \psi)∀x(φ→ψ)→(φ→∀xψ)，其中 xxx 不在 φ\varphiφ 中自由出现。

需要特别解释：UI 说"如果所有 xxx 都满足 φ\varphiφ，那么特定的 ttt 也满足"。UD 则处理量词与蕴涵的交换，限制 xxx 不在 φ\varphiφ 中自由确保了当我们将全称量词限制在后件时，不改变前件关于 xxx 的依赖。

C. 等词公理：

• 自反性 ：x≡xx \equiv xx≡x。
• 莱布尼茨律 （等量替换模式）：对任意 nnn 元谓词符号 PPP（包括等词本身）以及任意 i∈{1,...,n}i \in \{1,\dots,n\}i∈{1,...,n}，
  ti≡u→(P(t1,...,ti,...,tn)→P(t1,...,u,...,tn)). t_i \equiv u \to (P(t_1,\dots,t_i,\dots,t_n) \to P(t_1,\dots,u,\dots,t_n)). ti≡u→(P(t1,...,ti,...,tn)→P(t1,...,u,...,tn)).
  同样地，对任意 nnn 元函数符号 fff，
  ti≡u→f(t1,...,ti,...,tn)≡f(t1,...,u,...,tn). t_i \equiv u \to f(t_1,\dots,t_i,\dots,t_n) \equiv f(t_1,\dots,u,\dots,t_n). ti≡u→f(t1,...,ti,...,tn)≡f(t1,...,u,...,tn).

这两类公理统称为"等量替换模式"。从自反性和替换模式可推导出等词的关键性质。例如：

引理 2.2.1（等词性质）

在系统中可证：

1. （对称性）t≡u→u≡tt \equiv u \to u \equiv tt≡u→u≡t；
2. （传递性）(t≡u∧u≡v)→t≡v(t \equiv u \land u \equiv v) \to t \equiv v(t≡u∧u≡v)→t≡v；
3. 对任意函数符号 fff 和谓词符号 PPP，由 ti≡uit_i \equiv u_iti≡ui 可得项和原子公式的替换等价。

简要推导 ：对称性取 P(z)P(z)P(z) 为 z≡tz \equiv tz≡t，则由 t≡u→(t≡t→u≡t)t \equiv u \to (t \equiv t \to u \equiv t)t≡u→(t≡t→u≡t)，结合自反性即得；传递性类似。这些性质在项模型构造中将直接使用。

2.2.2 推理规则

• 分离规则（MP） ：从 φ\varphiφ 和 φ→ψ\varphi \to \psiφ→ψ 可推出 ψ\psiψ。
• 全称推广（Gen） ：从 φ\varphiφ 可推出 ∀xφ\forall x \varphi∀xφ，前提是 变元 xxx 不在任何假设（即 Γ\GammaΓ 中的公式）中自由出现。

Gen规则的限制至关重要：它阻止了从带有 xxx 自由的假设"错误推广"。例如，若我们有假设 P(x)P(x)P(x)（xxx 自由），直接推广得 ∀xP(x)\forall x P(x)∀xP(x) 将是不合理的。正确的用法是：若从任何不含 xxx 自由的假设中证明了 P(x)P(x)P(x)（此时 xxx 实际上是"任意"的），则可推广。

在纯逻辑定理（无假设）的证明中，Gen 可自由使用，因为假设集为空，条件自动满足。

定义 2.2.2（推导与定理）

给定公式集 Γ\GammaΓ，从 Γ\GammaΓ 到 φ\varphiφ 的推导是公式序列 φ1,...,φn=φ\varphi_1,\dots,\varphi_n=\varphiφ1,...,φn=φ，其中每一项是逻辑公理，或 Γ\GammaΓ 中成员，或由前面公式经 MP 或 Gen（遵守侧条件）得出。若存在这样的推导，记作 Γ⊢φ\Gamma \vdash \varphiΓ⊢φ。若 Γ=∅\Gamma = \emptysetΓ=∅，记作 ⊢φ\vdash \varphi⊢φ，称 φ\varphiφ 为定理。

---

2.3 演绎定理在一阶逻辑中的限制

命题逻辑中漂亮的演绎定理在一阶逻辑中不再无条件成立。试看下例：令 Γ={P(x)}\Gamma = \{P(x)\}Γ={P(x)}，即包含单个假设 P(x)P(x)P(x)。显然 P(x)⊢P(x)P(x) \vdash P(x)P(x)⊢P(x)，若演绎定理无条件成立，则可得 ⊢P(x)→P(x)\vdash P(x) \to P(x)⊢P(x)→P(x)，这是合法的。但若我们试图证明 ⊢P(x)→∀xP(x)\vdash P(x) \to \forall x P(x)⊢P(x)→∀xP(x) 则不然。从 P(x)⊢∀xP(x)P(x) \vdash \forall x P(x)P(x)⊢∀xP(x) 出发，后者只有在忽略了Gen的侧条件时才会被错误地认为可证。实际上，合法推导中若使用了Gen且涉及假设中的自由变元，演绎定理不能无条件迁移。

定理 2.3.1（演绎定理，限制版）

假设 Γ∪{φ}⊢ψ\Gamma \cup \{\varphi\} \vdash \psiΓ∪{φ}⊢ψ，并且在该推导中，没有对 φ\varphiφ 中自由出现的变元使用Gen（即任何Gen步骤 \\chi \\mapsto \\forall x \\chi 中的 xxx 不在 φ\varphiφ 中自由）。则 Γ⊢φ→ψ\Gamma \vdash \varphi \to \psiΓ⊢φ→ψ。

证明 ：对推导长度 nnn 进行归纳。当推导长度为 111 时，ψ\psiψ 必为逻辑公理或属于 Γ∪{φ}\Gamma \cup \{\varphi\}Γ∪{φ}。若为逻辑公理或属于 Γ\GammaΓ，则 Γ⊢ψ\Gamma \vdash \psiΓ⊢ψ，由 K 公理 ψ→(φ→ψ)\psi \to (\varphi \to \psi)ψ→(φ→ψ) 及 MP 即得 Γ⊢φ→ψ\Gamma \vdash \varphi \to \psiΓ⊢φ→ψ。若 ψ=φ\psi = \varphiψ=φ，则 φ→φ\varphi \to \varphiφ→φ 为命题逻辑定理，故 Γ⊢φ→φ\Gamma \vdash \varphi \to \varphiΓ⊢φ→φ。

归纳假设对长度小于 nnn 的推导成立。现推导长度为 nnn，最后一步可能由 MP 或 Gen 得出。

• MP情形 ：存在 i,j<ni,j < ni,j<n 使得 φj=(φi→ψ)\varphi_j = (\varphi_i \to \psi)φj=(φi→ψ)。由归纳假设，Γ⊢φ→φi\Gamma \vdash \varphi \to \varphi_iΓ⊢φ→φi 且 Γ⊢φ→(φi→ψ)\Gamma \vdash \varphi \to (\varphi_i \to \psi)Γ⊢φ→(φi→ψ)。由公理 S：(φ→(φi→ψ))→((φ→φi)→(φ→ψ))(\varphi \to (\varphi_i \to \psi)) \to ((\varphi \to \varphi_i) \to (\varphi \to \psi))(φ→(φi→ψ))→((φ→φi)→(φ→ψ))，两次 MP 即得 Γ⊢φ→ψ\Gamma \vdash \varphi \to \psiΓ⊢φ→ψ。

• Gen情形 ：ψ=∀xχ\psi = \forall x \chiψ=∀xχ 是由前一步 χ\chiχ 经 Gen 得到，并且根据 Gen 侧条件，xxx 不在 Γ∪{φ}\Gamma \cup \{\varphi\}Γ∪{φ} 中自由出现。特别地，xxx 不在 φ\varphiφ 中自由。由归纳假设，Γ⊢φ→χ\Gamma \vdash \varphi \to \chiΓ⊢φ→χ。由于 xxx 不在 Γ\GammaΓ 中自由（Gen侧条件保证），可对 φ→χ\varphi \to \chiφ→χ 应用Gen得 Γ⊢∀x(φ→χ)\Gamma \vdash \forall x (\varphi \to \chi)Γ⊢∀x(φ→χ)。又因 xxx 不在 φ\varphiφ 中自由，可使用全称分配公理：

  ∀x(φ→χ)→(φ→∀xχ) \forall x (\varphi \to \chi) \to (\varphi \to \forall x \chi) ∀x(φ→χ)→(φ→∀xχ)

  为公理实例，由 MP 即得 Γ⊢φ→∀xχ\Gamma \vdash \varphi \to \forall x \chiΓ⊢φ→∀xχ。

综上，归纳完成。∎

推论 2.3.2 ：当 φ\varphiφ 是一个语句（无自由变元）时，演绎定理无条件成立。因为在推导中任何Gen步骤都不可能涉及 φ\varphiφ 中的自由变元（根本没有）。因此，在一般的数学理论中，定理多为语句，演绎定理可以自由使用。

注释：通过引入"普遍闭包"或采用根岑式自然演绎可完全避免这种限制，但希尔伯特风格下保留此限制版演绎定理已足够后续使用。

---

2.4 语义：结构、赋值与真

句法系统只有在与外部世界连接时才获得意义。一阶语言的语义通过结构 和赋值来定义。

2.4.1 L\mathcal{L}L-结构

定义 2.4.1（结构） 给定一阶语言 L\mathcal{L}L，一个 L\mathcal{L}L-结构 A\mathfrak{A}A 由以下部分组成：

• 一个非空集合 AAA，称为论域（或基础集）。
• 对每个常量符号 c∈Lc \in \mathcal{L}c∈L，指派一个元素 cA∈Ac^{\mathfrak{A}} \in AcA∈A。
• 对每个 nnn 元函数符号 f∈Lf \in \mathcal{L}f∈L，指派一个函数 fA:An→Af^{\mathfrak{A}}: A^n \to AfA:An→A。
• 对每个 nnn 元谓词符号 P∈LP \in \mathcal{L}P∈L（等词除外，等词总是解释为 AAA 上的相等关系），指派一个 nnn 元关系 PA⊆AnP^{\mathfrak{A}} \subseteq A^nPA⊆An。

我们用哥特体大写字母 A,B,M,N\mathfrak{A}, \mathfrak{B}, \mathfrak{M}, \mathfrak{N}A,B,M,N 等表示结构。

例子：

• N=(N,0,S,+,⋅)\mathfrak{N} = (\mathbb{N}, 0, S, +, \cdot)N=(N,0,S,+,⋅) 是 LPA\mathcal{L}_{\text{PA}}LPA-结构，其中论域为自然数，运算如常。
• R=(R,+,⋅,−,0,1)\mathfrak{R} = (\mathbb{R}, +, \cdot, -, 0, 1)R=(R,+,⋅,−,0,1) 是环语言的结构。
• 图论中 L={E}\mathcal{L} = \{E\}L={E}，一个图 (V,E)(V, E)(V,E) 就是结构。
• 序结构 Q=(Q,<)\mathfrak{Q} = (\mathbb{Q}, <)Q=(Q,<)。

2.4.2 赋值与项的解释

定义 2.4.2（赋值） 给定结构 A\mathfrak{A}A，一个赋值是从变元集合到 AAA 的函数 s:Var→As: \text{Var} \to As:Var→A。

赋值可递归延拓到所有项上，给出项在结构中的指称 s‾(t)\overline{s}(t)s(t)：

• s‾(x)=s(x)\overline{s}(x) = s(x)s(x)=s(x)
• s‾(c)=cA\overline{s}(c) = c^{\mathfrak{A}}s(c)=cA
• s‾(f(t1,...,tn))=fA(s‾(t1),...,s‾(tn))\overline{s}(f(t_1,\dots,t_n)) = f^{\mathfrak{A}}(\overline{s}(t_1),\dots,\overline{s}(t_n))s(f(t1,...,tn))=fA(s(t1),...,s(tn))

我们常将 s‾(t)\overline{s}(t)s(t) 简记为 tAst^{\mathfrak{A}}stAs。

2.4.3 满足关系与真

定义 2.4.3（满足关系 ⊨\models⊨） 对于结构 A\mathfrak{A}A，赋值 sss 和公式 φ\varphiφ，递归定义"A\mathfrak{A}A 在赋值 sss 下满足 φ\varphiφ"，记作 A⊨φs\mathfrak{A} \models \varphisA⊨φs：

• 原子公式 ：
  • A⊨t1≡t2s\mathfrak{A} \models t_1 \equiv t_2 sA⊨t1≡t2s 当且仅当 s‾(t1)=s‾(t2)\overline{s}(t_1) = \overline{s}(t_2)s(t1)=s(t2)。
  • A⊨P(t1,...,tn)s\mathfrak{A} \models P(t_1,\dots,t_n)sA⊨P(t1,...,tn)s 当且仅当 (s‾(t1),...,s‾(tn))∈PA(\overline{s}(t_1),\dots,\overline{s}(t_n)) \in P^{\mathfrak{A}}(s(t1),...,s(tn))∈PA。
• 否定 ：A⊨¬φs\mathfrak{A} \models \neg \varphisA⊨¬φs 当且仅当 A⊭φs\mathfrak{A} \not\models \varphisA⊨φs。
• 蕴涵 ：A⊨(φ→ψ)s\mathfrak{A} \models (\varphi \to \psi)sA⊨(φ→ψ)s 当且仅当 若 A⊨φs\mathfrak{A} \models \varphisA⊨φs 则 A⊨ψs\mathfrak{A} \models \psisA⊨ψs。
• 全称量词 ：A⊨∀xφs\mathfrak{A} \models \forall x \varphisA⊨∀xφs 当且仅当 对每个 a∈Aa \in Aa∈A，有 A⊨φs(x∣a)\mathfrak{A} \models \varphis(x\|a)A⊨φs(x∣a)，其中 s(x∣a)s(x|a)s(x∣a) 是将变元 xxx 映射为 aaa，而其他变元保持 sss 值的赋值。

代入引理（引理2.1.7）保证了项代入与赋值修改之间的和谐，这是语义定义合理性的基石。

定义 2.4.4（真、模型与语义后承）

• 若公式 φ\varphiφ 在 A\mathfrak{A}A 中对于所有 赋值 sss 均满足，则称 φ\varphiφ 在 A\mathfrak{A}A 中真 ，记作 A⊨φ\mathfrak{A} \models \varphiA⊨φ。特别地，若 φ\varphiφ 是语句，则存在某个赋值满足即等价于所有赋值满足。
• 若 A\mathfrak{A}A 使 Γ\GammaΓ 中每个公式都真，则称 A\mathfrak{A}A 是 Γ\GammaΓ 的模型 ，记作 A⊨Γ\mathfrak{A} \models \GammaA⊨Γ。
• φ\varphiφ 是 Γ\GammaΓ 的语义后承 ，记作 Γ⊨φ\Gamma \models \varphiΓ⊨φ，当且仅当对任意 L\mathcal{L}L-结构 A\mathfrak{A}A 和赋值 sss，若 A⊨Γs\mathfrak{A} \models \GammasA⊨Γs（即 A\mathfrak{A}A 在 sss 下满足 Γ\GammaΓ 中所有公式），则 A⊨φs\mathfrak{A} \models \varphisA⊨φs。

注意：当 Γ\GammaΓ 为语句集时，条件"A⊨Γs\mathfrak{A} \models \GammasA⊨Γs"不依赖于 sss，可简化为 A⊨Γ\mathfrak{A} \models \GammaA⊨Γ。

---

2.5 可靠性定理

定理 2.5.1（可靠性）

若 Γ⊢φ\Gamma \vdash \varphiΓ⊢φ，则 Γ⊨φ\Gamma \models \varphiΓ⊨φ。特别地，若 ⊢φ\vdash \varphi⊢φ，则 φ\varphiφ 是普遍有效公式（在所有结构的所有赋值下真）。

证明：需要验证每条公理在语义下有效，并且推理规则保持有效性。

公理K, S, NN ：这些公理模式的所有一阶实例依然表达命题重言式，其有效性仅依赖对 ¬\neg¬ 和 →\to→ 的解释，与量词及论域无关，故由命题逻辑的可靠性直接继承。

全称实例化（UI） ：∀xφ→φt/x\forall x \varphi \to \varphit/x∀xφ→φt/x，其中 ttt 对 xxx 可代入。设结构 A\mathfrak{A}A 和赋值 sss 任意。假设 A⊨∀xφs\mathfrak{A} \models \forall x \varphisA⊨∀xφs，则对所有 a∈Aa \in Aa∈A，有 A⊨φs(x∣a)\mathfrak{A} \models \varphis(x\|a)A⊨φs(x∣a)。取 a=s‾(t)a = \overline{s}(t)a=s(t)，即得 A⊨φs(x∣s‾(t))\mathfrak{A} \models \varphis(x\|\\overline{s}(t))A⊨φs(x∣s(t))。由代入引理（引理2.1.7），A⊨φt/xs\mathfrak{A} \models \varphit/xsA⊨φt/xs 当且仅当 A⊨φs(x∣s‾(t))\mathfrak{A} \models \varphis(x\|\\overline{s}(t))A⊨φs(x∣s(t))，因此 A⊨φt/xs\mathfrak{A} \models \varphit/xsA⊨φt/xs。故蕴涵式为真。

全称分配（UD） ：∀x(φ→ψ)→(φ→∀xψ)\forall x(\varphi \to \psi) \to (\varphi \to \forall x \psi)∀x(φ→ψ)→(φ→∀xψ)，其中 xxx 不在 φ\varphiφ 中自由。设 A,s\mathfrak{A}, sA,s 使 A⊨∀x(φ→ψ)s\mathfrak{A} \models \forall x(\varphi \to \psi)sA⊨∀x(φ→ψ)s，且 A⊨φs\mathfrak{A} \models \varphisA⊨φs。需证 A⊨∀xψs\mathfrak{A} \models \forall x \psisA⊨∀xψs。对任意 a∈Aa \in Aa∈A，由假设 A⊨(φ→ψ)s(x∣a)\mathfrak{A} \models (\varphi \to \psi)s(x\|a)A⊨(φ→ψ)s(x∣a)。因 xxx 不在 φ\varphiφ 中自由，φ\varphiφ 在修改的赋值下真值不变，即 A⊨φs(x∣a)\mathfrak{A} \models \varphis(x\|a)A⊨φs(x∣a) 当且仅当 A⊨φs\mathfrak{A} \models \varphisA⊨φs。现已知 A⊨φs\mathfrak{A} \models \varphisA⊨φs，所以 A⊨φs(x∣a)\mathfrak{A} \models \varphis(x\|a)A⊨φs(x∣a)，从而由蕴涵得 A⊨ψs(x∣a)\mathfrak{A} \models \psis(x\|a)A⊨ψs(x∣a)。由 aaa 任意，得 A⊨∀xψs\mathfrak{A} \models \forall x \psisA⊨∀xψs。

等词公理 ：自反性显然。莱布尼茨律：设 A⊨ti≡us\mathfrak{A} \models t_i \equiv usA⊨ti≡us，即 s‾(ti)=s‾(u)\overline{s}(t_i) = \overline{s}(u)s(ti)=s(u)，则对原子公式 P(...,ti,... )P(\dots,t_i,\dots)P(...,ti,...)，指称相同，故满足 PPP 当且仅当满足代换后的公式；函数项同理。因此整个蕴涵有效。

MP规则 ：若 Γ⊨φ\Gamma \models \varphiΓ⊨φ 且 Γ⊨φ→ψ\Gamma \models \varphi \to \psiΓ⊨φ→ψ，任取满足 Γ\GammaΓ 的 A,s\mathfrak{A}, sA,s，由后者得 A⊨φ→ψs\mathfrak{A} \models \varphi \to \psisA⊨φ→ψs，由前者得 A⊨φs\mathfrak{A} \models \varphisA⊨φs，从而 A⊨ψs\mathfrak{A} \models \psisA⊨ψs。故 Γ⊨ψ\Gamma \models \psiΓ⊨ψ。

Gen规则 ：假设 Γ⊨φ\Gamma \models \varphiΓ⊨φ，且 xxx 不在 Γ\GammaΓ 中自由。需证 Γ⊨∀xφ\Gamma \models \forall x \varphiΓ⊨∀xφ。取任意 A,s\mathfrak{A}, sA,s 满足 Γ\GammaΓ。对任意 a∈Aa \in Aa∈A，因 xxx 不在 Γ\GammaΓ 中自由，赋值 s(x∣a)s(x|a)s(x∣a) 仍满足 Γ\GammaΓ 中所有公式（Γ\GammaΓ 中公式的真值不随 xxx 的改变而变）。由前提 Γ⊨φ\Gamma \models \varphiΓ⊨φ，有 A⊨φs(x∣a)\mathfrak{A} \models \varphis(x\|a)A⊨φs(x∣a)。由 aaa 任意，A⊨∀xφs\mathfrak{A} \models \forall x \varphisA⊨∀xφs。因此 Γ⊨∀xφ\Gamma \models \forall x \varphiΓ⊨∀xφ。

综合，可靠性得证。∎

---

2.6 哥德尔完备性定理

哥德尔在1929年证明了一阶逻辑的完备性：Γ⊨φ\Gamma \models \varphiΓ⊨φ 蕴含 Γ⊢φ\Gamma \vdash \varphiΓ⊢φ。这意味着我们的公理系统强到足以捕捉所有有效的推理。证明的精髓是亨金（Leon Henkin）在1949年给出的简化版本，它巧妙地构造了"项模型"。

定理 2.6.1（完备性） 若 Γ⊨φ\Gamma \models \varphiΓ⊨φ，则 Γ⊢φ\Gamma \vdash \varphiΓ⊢φ。等价地，任何一致的理论都有模型。

"一致的理论有模型"这一陈述被称为模型存在定理。我们从它开始。

为简化处理，我们假定所讨论的理论 TTT 是语句集。对于含有自由变元的公式集，可先将其自由变元替换为新常量符号或直接考虑其全称闭包，这不影响一致性与语义后承的实质结果。

2.6.1 一致性、极大一致性与亨金理论

定义 2.6.1 理论 Γ\GammaΓ（语句集）是一致 的，若不存在语句 ψ\psiψ 使 Γ⊢ψ\Gamma \vdash \psiΓ⊢ψ 且 Γ⊢¬ψ\Gamma \vdash \neg \psiΓ⊢¬ψ。

定义 2.6.2 理论 Γ\GammaΓ 是极大一致 的，若它一致，且对任意语句 φ\varphiφ，或者 φ∈Γ\varphi \in \Gammaφ∈Γ 或者 ¬φ∈Γ\neg \varphi \in \Gamma¬φ∈Γ。

由于涉及量词，我们需要比命题逻辑更强的性质------亨金性质。

定义 2.6.3（亨金理论） 语言 L\mathcal{L}L 中的语句集 Γ\GammaΓ 称为亨金理论 ，若对每个仅含一个自由变元 xxx 的公式 ψ(x)\psi(x)ψ(x)（从而 ∃xψ(x)\exists x \psi(x)∃xψ(x) 是语句），如果 Γ⊢∃xψ(x)\Gamma \vdash \exists x \psi(x)Γ⊢∃xψ(x)，则存在一个常量符号 c∈Lc \in \mathcal{L}c∈L 使得 Γ⊢ψ(c)\Gamma \vdash \psi(c)Γ⊢ψ(c)。

换言之，存在句若被证明，必有一个具体的"亨金常元"作为见证。

2.6.2 语言扩展与亨金定理

任何一致理论可扩展为某个扩展语言中的亨金理论。这是完备性证明的核心构造。

步骤 1：扩充常量符号

设原语言为 L\mathcal{L}L，初始一致理论为 TTT（语句集）。我们构造语言序列：

• L0=L\mathcal{L}_0 = \mathcal{L}L0=L，T0=TT_0 = TT0=T。
• 已定义 Ln\mathcal{L}nLn 和 TnT_nTn。对每个 Ln\mathcal{L}nLn 中仅含一个自由变元 xxx 的公式 φ(x)\varphi(x)φ(x)，引入新的常量符号 cφc{\varphi}cφ。这些新常量的集合记为 Cn+1C{n+1}Cn+1。令 Ln+1=Ln∪Cn+1\mathcal{L}{n+1} = \mathcal{L}n \cup C{n+1}Ln+1=Ln∪Cn+1。定义
  Tn+1=Tn∪{∃xφ(x)→φ(cφ)∣φ(x) 为 Ln-公式，且至多含 x 自由}. T{n+1} = T_n \cup \{ \exists x \varphi(x) \to \varphi(c_{\varphi}) \mid \varphi(x) \text{ 为 } \mathcal{L}_n \text{-公式，且至多含 } x \text{ 自由} \}. Tn+1=Tn∪{∃xφ(x)→φ(cφ)∣φ(x) 为 Ln-公式，且至多含 x 自由}.
  这些新增语句被称为亨金公理。

引理 2.6.4 若 TnT_nTn 在 Ln\mathcal{L}nLn 中一致，则 Tn+1T{n+1}Tn+1 在 Ln+1\mathcal{L}_{n+1}Ln+1 中一致。

证明 ：假设 Tn+1T_{n+1}Tn+1 不一致，则存在有限个亨金公理导致矛盾。通过演绎定理，我们只需考虑单一新公理的情形。设 ψ=∃xφ(x)→φ(c)\psi = \exists x \varphi(x) \to \varphi(c)ψ=∃xφ(x)→φ(c)，其中 c=cφc = c_{\varphi}c=cφ 为新常量，且 φ(x)\varphi(x)φ(x) 仅含 xxx 自由。若 Tn∪{ψ}⊢⊥T_n \cup \{\psi\} \vdash \botTn∪{ψ}⊢⊥，则 Tn⊢¬ψT_n \vdash \neg \psiTn⊢¬ψ，即 Tn⊢∃xφ∧¬φ(c)T_n \vdash \exists x \varphi \land \neg \varphi(c)Tn⊢∃xφ∧¬φ(c)。特别地，

Tn⊢∃xφ和Tn⊢¬φ(c). T_n \vdash \exists x \varphi \quad\text{和}\quad T_n \vdash \neg \varphi(c). Tn⊢∃xφ和Tn⊢¬φ(c).

由于 ccc 是不属于 Ln\mathcal{L}nLn 的新常量，它不在 TnT_nTn 的任何语句中出现。我们可以选择一个在推导 ¬φ(c)\neg \varphi(c)¬φ(c) 中未使用过的变元 yyy，将该推导中所有 ccc 的出现替换为 yyy。由于 ccc 不在公理和 TnT_nTn 中出现，替换后仍为一个合法推导，从而得到 Tn⊢¬φ(y)T_n \vdash \neg \varphi(y)Tn⊢¬φ(y)。注意 yyy 不在 TnT_nTn 中自由出现（因为 TnT_nTn 为语句集），满足 Gen 的侧条件，故应用 Gen 得 Tn⊢∀y¬φ(y)T_n \vdash \forall y \neg \varphi(y)Tn⊢∀y¬φ(y)，即 Tn⊢¬∃yφ(y)T_n \vdash \neg \exists y \varphi(y)Tn⊢¬∃yφ(y)。而 ∃yφ(y)\exists y \varphi(y)∃yφ(y) 与 ∃xφ(x)\exists x \varphi(x)∃xφ(x) 仅约束变元不同，可证等价，故 Tn⊢¬∃xφ(x)T_n \vdash \neg \exists x \varphi(x)Tn⊢¬∃xφ(x)。这与 Tn⊢∃xφ(x)T_n \vdash \exists x \varphi(x)Tn⊢∃xφ(x) 矛盾。因此 Tn+1T{n+1}Tn+1 一致。∎

极限语言 ：令 L+=⋃n∈NLn\mathcal{L}^+ = \bigcup_{n \in \mathbb{N}} \mathcal{L}nL+=⋃n∈NLn，Tω=⋃n∈NTnT\omega = \bigcup_{n \in \mathbb{N}} T_nTω=⋃n∈NTn。由紧致性（有限子集属于某个 TnT_nTn 而一致）可知 TωT_\omegaTω 一致，且满足：对每个 L+\mathcal{L}^+L+ 中仅含一个自由变元的公式 φ(x)\varphi(x)φ(x)，存在常量 ccc（实际上是某级引入的 cφc_{\varphi}cφ）使得亨金公理 ∃xφ→φ(c)\exists x \varphi \to \varphi(c)∃xφ→φ(c) 属于 TωT_\omegaTω。

2.6.3 扩充为极大一致亨金理论

步骤 2：林登鲍姆扩充

在可数语言 L+\mathcal{L}^+L+ 中，TωT_\omegaTω 一致。枚举所有 L+\mathcal{L}^+L+ 语句：ψ0,ψ1,ψ2,...\psi_0, \psi_1, \psi_2, \dotsψ0,ψ1,ψ2,...。递归构造：

Γ0=Tω, \Gamma_0 = T_\omega, Γ0=Tω,

Γk+1={Γk∪{ψk},若该集合一致,Γk∪{¬ψk},否则. \Gamma_{k+1} = \begin{cases} \Gamma_k \cup \{\psi_k\}, & \text{若该集合一致}, \\ \Gamma_k \cup \{\neg \psi_k\}, & \text{否则}. \end{cases} Γk+1={Γk∪{ψk},Γk∪{¬ψk},若该集合一致,否则.

令 Γ∗=⋃kΓk\Gamma^* = \bigcup_{k} \Gamma_kΓ∗=⋃kΓk。标准论证得 Γ∗\Gamma^*Γ∗ 极大一致：一致性由构造保证；极大性则因每个 ψk\psi_kψk 或其否定被加入。Γ∗\Gamma^*Γ∗ 继承了 TωT_\omegaTω 的亨金性质：若 Γ∗⊢∃xψ(x)\Gamma^* \vdash \exists x \psi(x)Γ∗⊢∃xψ(x)，则 ∃xψ(x)\exists x \psi(x)∃xψ(x) 在 Γ∗\Gamma^*Γ∗ 中（否则由极大性 ¬∃xψ∈Γ∗\neg \exists x \psi \in \Gamma^*¬∃xψ∈Γ∗ 导致矛盾），从而由亨金公理 ∃xψ→ψ(c)∈Tω⊆Γ∗\exists x \psi \to \psi(c) \in T_\omega \subseteq \Gamma^*∃xψ→ψ(c)∈Tω⊆Γ∗，MP 得 ψ(c)∈Γ∗\psi(c) \in \Gamma^*ψ(c)∈Γ∗。因此 Γ∗\Gamma^*Γ∗ 是极大一致的亨金理论。

2.6.4 项模型构造

利用 Γ∗\Gamma^*Γ∗ 构造模型 A\mathfrak{A}A，论域来自闭项。

定义 2.6.5 令 T\mathcal{T}T 为 L+\mathcal{L}^+L+ 中所有闭项的集合（因有常量，闭项非空）。在其上定义二元关系：

t∼u  ⟺  (t≡u)∈Γ∗. t \sim u \iff (t \equiv u) \in \Gamma^*. t∼u⟺(t≡u)∈Γ∗.

利用等词公理可证 ∼\sim∼ 是等价关系：

• 自反性 ：由自反公理 ∀x x≡x\forall x\, x \equiv x∀xx≡x 及 UI 得 t≡t∈Γ∗t \equiv t \in \Gamma^*t≡t∈Γ∗。
• 对称性 ：若 t≡u∈Γ∗t \equiv u \in \Gamma^*t≡u∈Γ∗，取 P(z)P(z)P(z) 为 z≡tz \equiv tz≡t，由莱布尼茨律 t≡u→(t≡t→u≡t)t \equiv u \to (t \equiv t \to u \equiv t)t≡u→(t≡t→u≡t) 及 t≡tt \equiv tt≡t，两次 MP 得 u≡t∈Γ∗u \equiv t \in \Gamma^*u≡t∈Γ∗。
• 传递性 ：由 t≡u,u≡vt \equiv u, u \equiv vt≡u,u≡v 利用类似替换可推出 t≡v∈Γ∗t \equiv v \in \Gamma^*t≡v∈Γ∗。

且 ∼\sim∼ 与函数和谓词相容：若 ti∼uit_i \sim u_iti∼ui，则 f(t1,...,tn)∼f(u1,...,un)f(t_1,\dots,t_n) \sim f(u_1,\dots,u_n)f(t1,...,tn)∼f(u1,...,un)，且对原子谓词 PPP，P(t1,...,tn)∈Γ∗  ⟺  P(u1,...,un)∈Γ∗P(t_1,\dots,t_n) \in \Gamma^* \iff P(u_1,\dots,u_n) \in \Gamma^*P(t1,...,tn)∈Γ∗⟺P(u1,...,un)∈Γ∗，均由等量替换公理保证。

令论域 A={t∣t∈T}A = \{ t \mid t \in \mathcal{T} \}A={t∣t∈T}，其中 ttt 是 ttt 的等价类。

定义结构 A\mathfrak{A}A：

• 常量 cA=cc^{\mathfrak{A}} = ccA=c。
• 函数 fA(t1,...,tn)=f(t1,...,tn)f^{\mathfrak{A}}(t_1,\dots,t_n) = f(t_1,\\dots,t_n)fA(t1,...,tn)=f(t1,...,tn)。
• 关系 (t1,...,tn)∈PA(t_1,\dots,t_n) \in P^{\mathfrak{A}}(t1,...,tn)∈PA 当且仅当 P(t1,...,tn)∈Γ∗P(t_1,\dots,t_n) \in \Gamma^*P(t1,...,tn)∈Γ∗。
  相容性由上述保证，定义良好。

2.6.5 真值引理

引理 2.6.6（真值引理） 对任意 L+\mathcal{L}^+L+-公式 φ(x1,...,xn)\varphi(x_1,\dots,x_n)φ(x1,...,xn) 和任意闭项 t1,...,tnt_1,\dots,t_nt1,...,tn，

A⊨φ\[t1,...,tn]  ⟺  φ(t1,...,tn)∈Γ∗. \mathfrak{A} \models \varphi \[t_1,\dots,t_n ] \iff \varphi(t_1,\dots,t_n) \in \Gamma^*. A⊨φ\[t1,...,tn]⟺φ(t1,...,tn)∈Γ∗.

证明 ：对公式复杂度 φ\varphiφ 进行归纳。

• 原子公式：由构造定义、代入和等价类性质直接可得。

• 否定 ：A⊨¬ψ  ⟺  A⊭ψ  ⟺  ψ∉Γ∗  ⟺  ¬ψ∈Γ∗\mathfrak{A} \models \neg \psi \iff \mathfrak{A} \not\models \psi \iff \psi \notin \Gamma^* \iff \neg \psi \in \Gamma^*A⊨¬ψ⟺A⊨ψ⟺ψ∈/Γ∗⟺¬ψ∈Γ∗（最后一步用到极大一致性）。

• 蕴涵：类似命题逻辑情形，用极大一致性保证分岔。

• 全称量词 ：A⊨∀xψ(x,t1,... )  ⟺  \mathfrak{A} \models \forall x \psi(x, t_1,\dots) \iffA⊨∀xψ(x,t1,...)⟺ 对所有闭项 ttt，A⊨ψt,t1,...   ⟺  \mathfrak{A} \models \psit, t_1,\\dots \iffA⊨ψt,t1,...⟺ 对所有 ttt，ψ(t,t1,... )∈Γ∗\psi(t, t_1,\dots) \in \Gamma^*ψ(t,t1,...)∈Γ∗。需证此等价于 ∀xψ(x,t1,... )∈Γ∗\forall x \psi(x, t_1,\dots) \in \Gamma^*∀xψ(x,t1,...)∈Γ∗。

  从右向左 ：若 ∀xψ∈Γ∗\forall x \psi \in \Gamma^*∀xψ∈Γ∗，由 UI 公理 ∀xψ→ψ(t)\forall x \psi \to \psi(t)∀xψ→ψ(t)，对任意闭项 ttt 有 Γ∗⊢ψ(t)\Gamma^* \vdash \psi(t)Γ∗⊢ψ(t)，极大一致得 ψ(t)∈Γ∗\psi(t) \in \Gamma^*ψ(t)∈Γ∗，故对所有闭项真。

  从左向右 ：假设 ∀xψ∉Γ∗\forall x \psi \notin \Gamma^*∀xψ∈/Γ∗，由极大性 ¬∀xψ∈Γ∗\neg \forall x \psi \in \Gamma^*¬∀xψ∈Γ∗，即 ∃x¬ψ∈Γ∗\exists x \neg \psi \in \Gamma^*∃x¬ψ∈Γ∗。由亨金性质，存在常量 ccc 使 ¬ψ(c)∈Γ∗\neg \psi(c) \in \Gamma^*¬ψ(c)∈Γ∗，于是 ψ(c)∉Γ∗\psi(c) \notin \Gamma^*ψ(c)∈/Γ∗，与"对所有闭项 ttt 均有 ψ(t)∈Γ∗\psi(t) \in \Gamma^*ψ(t)∈Γ∗"矛盾。故 ∀xψ∈Γ∗\forall x \psi \in \Gamma^*∀xψ∈Γ∗。∎

此引理精妙地展示了亨金常元如何将"存在"实例化。特别地，对任意语句 φ\varphiφ，A⊨φ  ⟺  φ∈Γ∗\mathfrak{A} \models \varphi \iff \varphi \in \Gamma^*A⊨φ⟺φ∈Γ∗。

2.6.6 完备性证明收束

回到原语言 L\mathcal{L}L 和一致理论 TTT。将 TTT 视为 T0T_0T0，经上述构造得到 L+\mathcal{L}^+L+-结构 A\mathfrak{A}A 满足 Γ∗\Gamma^*Γ∗。将 A\mathfrak{A}A 限制回 L\mathcal{L}L（遗忘额外常量），得到 L\mathcal{L}L-结构 A∣L\mathfrak{A}|_{\mathcal{L}}A∣L。由于 T⊆Γ∗T \subseteq \Gamma^*T⊆Γ∗，该结构满足 TTT 中所有语句。因此，任意一致语句集有模型。

完备性定理得证：若 Γ⊨φ\Gamma \models \varphiΓ⊨φ，则 Γ∪{¬φ}\Gamma \cup \{\neg \varphi\}Γ∪{¬φ} 无模型，从而不一致，即存在有限子集不一致，由此可获 Γ⊢φ\Gamma \vdash \varphiΓ⊢φ（若 Γ\GammaΓ 含自由变元则先化为语句集处理）。∎

---

2.7 紧致性定理与勒文海姆--斯科伦定理

完备性定理的直接推论便是两个基石性的模型论定理。

定理 2.7.1（紧致性定理） 若理论 Γ\GammaΓ 的每一个有限子集都有模型，则 Γ\GammaΓ 有模型。

证明 ：由可靠性，有模型蕴含一致；故 Γ\GammaΓ 的每个有限子集一致。若 Γ\GammaΓ 不一致，则存在矛盾证明，该证明只用到 Γ\GammaΓ 中有限多语句，从而某个有限子集已不一致，矛盾。因此 Γ\GammaΓ 一致，再由完备性（模型存在定理）得 Γ\GammaΓ 有模型。∎

紧致性定理揭示了有限与无限之间的深刻联系。其典型应用包括非标准分析、非标准算术模型的存在性。

定理 2.7.2（勒文海姆--斯科伦下行定理） 若语言 L\mathcal{L}L 为可数语言，且理论 TTT 有无穷模型，则 TTT 有可数模型。

证明 ：在亨金构造中，初始语言 L\mathcal{L}L 可数，逐次添加可数个新常量，因此 L+\mathcal{L}^+L+ 仍为可数语言。闭项集 T\mathcal{T}T 作为所有有限符号串的集合，其基数为可数无穷。模型 A\mathfrak{A}A 的论域是 T\mathcal{T}T 的商集，故 ∣A∣≤∣T∣=ℵ0|A| \le |\mathcal{T}| = \aleph_0∣A∣≤∣T∣=ℵ0。由于 TTT 有无穷模型且 A⊨T\mathfrak{A} \models TA⊨T，论域必为无穷（否则与 TTT 有无穷模型矛盾？若 TTT 只有无穷模型，则 A\mathfrak{A}A 无穷；若 TTT 也有有限模型，则构造可能产生有限模型，但我们可以对 TTT 添加无穷多个存在语句以保证模型无穷）。无论如何，通过在该可数模型中取出可数无穷子模型，可得一可数无穷模型。∎

上行定理 （需用紧致性）：若 TTT 有无穷模型，则对任何基数 κ≥∣L∣\kappa \ge |\mathcal{L}|κ≥∣L∣，TTT 有基数为 κ\kappaκ 的模型。证明概要：引入 κ\kappaκ 个新常量 {cα∣α<κ}\{c_\alpha \mid \alpha < \kappa\}{cα∣α<κ}，考虑理论

T′=T∪{cα≢cβ∣α<β<κ}. T' = T \cup \{ c_\alpha \not\equiv c_\beta \mid \alpha < \beta < \kappa \}. T′=T∪{cα≡cβ∣α<β<κ}.

T′T'T′ 的每个有限子集均可被 TTT 的一个无穷模型通过解释有限个新常量为不同元素而满足，由紧致性 T′T'T′ 有模型，其论域基数至少为 κ\kappaκ。进而利用下行定理的广义形式可得到基数为 κ\kappaκ 的初等子模型，完成证明。

斯科伦悖论由此产生：若ZFC集合论一致，则它有可数模型，但在模型内部可以证明存在不可数集合。这表明可数性不是绝对的，依赖于模型内外视角。

---

2.8 一阶算术公理化：皮亚诺算术的例子

一阶逻辑的力量在于它能将具体的数学理论形式化。一阶皮亚诺算术（PA）是公理化数学的典范。

语言 ：{0,S,+,⋅}\{0, S, +, \cdot\}{0,S,+,⋅}，等词视为逻辑符号。

公理：

1. ∀x(¬S(x)≡0)\forall x (\neg S(x) \equiv 0)∀x(¬S(x)≡0)（000 不是任何数的后继）
2. ∀x∀y(S(x)≡S(y)→x≡y)\forall x \forall y (S(x) \equiv S(y) \to x \equiv y)∀x∀y(S(x)≡S(y)→x≡y)（后继单射）
3. ∀x(x+0≡x)\forall x (x + 0 \equiv x)∀x(x+0≡x)
4. ∀x∀y(x+S(y)≡S(x+y))\forall x \forall y (x + S(y) \equiv S(x + y))∀x∀y(x+S(y)≡S(x+y))
5. ∀x(x⋅0≡0)\forall x (x \cdot 0 \equiv 0)∀x(x⋅0≡0)
6. ∀x∀y(x⋅S(y)≡(x⋅y)+x)\forall x \forall y (x \cdot S(y) \equiv (x \cdot y) + x)∀x∀y(x⋅S(y)≡(x⋅y)+x)
7. 归纳公理模式 ：对每个公式 φ(x,yˉ)\varphi(x, \bar{y})φ(x,yˉ)，
   ∀yˉ(φ(0,yˉ)∧∀x(φ(x,yˉ)→φ(S(x),yˉ)))→∀xφ(x,yˉ). \forall \bar{y} (\\varphi(0, \\bar{y}) \\land \\forall x (\\varphi(x, \\bar{y}) \\to \\varphi(S(x), \\bar{y}))) \\to \\forall x \\varphi(x, \\bar{y}) . ∀yˉ(φ(0,yˉ)∧∀x(φ(x,yˉ)→φ(S(x),yˉ)))→∀xφ(x,yˉ).

PA 是非有限公理化的，因为归纳模式包含无穷条公理。它在标准模型 N=(N,0,S,+,⋅)\mathfrak{N} = (\mathbb{N}, 0, S, +, \cdot)N=(N,0,S,+,⋅) 中真。然而，由紧致性，存在非标准模型：加入新常量 ccc 及无穷多条公理 c≢0,c≢S(0),c≢S(S(0)),...c \not\equiv 0, c \not\equiv S(0), c \not\equiv S(S(0)), \dotsc≡0,c≡S(0),c≡S(S(0)),...，每个有限子集可被 N\mathbb{N}N 满足（取 ccc 充分大），因此整个理论有模型，其中含有大于任何标准自然数的"非标准"元素。这正是非标准算术的源头，展现了形式化方法的微妙之处。

---

2.9 一阶逻辑的局限与元逻辑

完备性定理并非万能。它保证了有效性的可证性，但一阶逻辑本身有固有局限：

• 不可判定性：一阶逻辑的普遍有效公式集不是递归的（丘奇定理，1936）。不存在算法判定任一公式是否普遍有效。
• 表达力限制 ：一阶逻辑不能刻画"有限性"概念（紧致性使然），也不能唯一地刻画自然数结构（勒文海姆--斯科伦导致非标准模型）。真算术（N\mathbb{N}N 上的一阶真语句集）甚至不可递归公理化（塔斯基不可定义定理，1933）。

但这些局限并未削弱一阶逻辑作为数学基础的地位------它恰好在表达力与证明论性质之间取得了精妙平衡。一方面，它有完备的证明系统，语义后承可有限化；另一方面，它强到足以形式化几乎所有实际数学。二阶逻辑虽有更强的表达力（可范畴地刻画自然数），却丧失了紧致性和完备性。因此，数学家们在ZFC集合论（一阶理论）的框架下发展数学，正是看中了这种平衡。

---

结语：从句子到结构，从证明到模型

一阶谓词演算的公理化是一场精心策划的逻辑工程。我们引入了变元和量词，为命题逻辑的空壳填入了"论域"与"个体"的血肉。通过精心设计的量词公理和全称推广规则，我们得以模拟"任意"和"存在"的推理。可靠性定理确保了推演不产生虚妄；而哥德尔完备性定理则是整个大厦的拱心石------它证明了如果某个语句在所有可能的世界（模型）中为真，那么必然存在一个基于公理的有限证明。亨金的项模型构造将句法一致性与语义模型存在性巧妙地捆绑在一起，成为模型论的起点。

从这一章开始，逻辑不再仅仅是关于命题的演算，它成为了所有公理化数学理论的通用舞台。接下来，当我们进入集合论、数系、代数、几何的公理化时，我们将看到，一切陈述最终都被翻译成一阶语言中的公式，一切证明都在应用本章的推理规则。一阶逻辑，是数学公理体系的母语。