跳轉到

4.1 ZERMELO公理1908#

本章導言#

羅素悖論之後，Zermelo 在 1908 年提出第一個嚴格的集合論公理系統。其策略不是像 Russell 那樣分層，而是限制概括：不再允許「任意性質定義集合」，只允許「從已有集合中分離出滿足性質的子集」。這一「切小」的修補保住了 Cantor 的全部技術成果（良序、基數、點集），同時使悖論無法表述。本節詳解 1908 年的七條公理、其防禦機制，以及它的兩個著名缺口——這些缺口將由 Fraenkel 的替換公理（4.2 節）補上。

ZERMELO 的困境與動機#

Zermelo 的直接動機是雙重的。消極面：羅素悖論使樸素概括原則崩塌，他必須找一個不崩塌的替代。積極面：他 1904 年證明良序定理（每個集合可良序化）時使用了選擇公理（AC），遭 Borel、Lebesgue、Hadamard、Peano 的公開圍剿（1904–07 的著名書信戰）。他需要一個明確列出的公理清單，使 AC 的地位清晰可辯——公理化是為護衛自己的定理而做的。

Zermelo 1908 論文〈集合論基礎 I〉的公理（現代記號重述）：

  1. 外延性（Extensionality）： \(\forall x\,(x \in a \leftrightarrow x \in b) \Rightarrow a = b\) 。集合由其成員決定。
  2. 初等集合：存在單元集 \(\{a\}\) 與無序對 \(\{a, b\}\) 。
  3. 分離公理（Separation）：對已有集合 \(m\) 與性質 \(\phi\) ，存在集合 \(m_\phi = \{x \in m : \phi(x)\}\) 。只在已有集合內切分。
  4. 冪集（Power Set）：對 \(a\) 存在冪集 \(\mathcal{P}(a)\) 。
  5. 併集（Union）：對集合族 \(a\) 存在 \(\bigcup a\) 。
  6. 選擇公理（AC）：對非空不交集合族，存在選擇集。
  7. 無窮公理（Infinity）：存在無窮集合（含 \(\varnothing\) 且對後繼封閉）。

分離公理：防禦悖論的精準手術#

分離公理的核心設計是把概括的作用域從全域收縮到已有集合。檢驗防禦力：

羅素集： \(R = \{x : x \notin x\}\) 需要「全域」作為工作域。在 Zermelo 系統中，只能對已有集合 \(m\) 形成 \(R_m = \{x \in m : x \notin x\}\) 。於是：

  • 問 \(R_m \in R_m\) ？若 \(R_m \in R_m\) 則 \(R_m \in m\) 且 \(R_m \notin R_m\) ，矛盾，故 \(R_m \notin R_m\) 。
  • 但 \(R_m \notin R_m\) 只推出：若 \(R_m \in m\) 則 \(R_m \in R_m\) （矛盾）。故得定理： \(R_m \notin m\) 。

「對每個集合 \(m\) ，都有 \(m\) 之外的某對象（ \(R_m\) ）」——矛盾變成定理。 這是 Zermelo 方法的教科書示範：悖論不消失，而是降格為關於集合增生的定理（每個宇宙都有邊界）。

Burali-Forti 悖論：「所有序數之集」 \(O\) 。在 Zermelo 系統中， \(O\) 的存在無法證明（沒有公理保證「所有序數」成集），悖論無從產生。

Cantor 悖論：「所有集合之集」 \(V\) 。同樣， \(V\) 的存在不可證——Zermelo 在論文中明確討論了這一點。

防禦的代價：缺口一（序數）與缺口二（值域）#

1908 系統有兩個著名缺口。

缺口一：無法定義序數與良序的序型。Zermelo 的系統缺少「把 \(\varnothing, \{\varnothing\}, \{\{\varnothing\}\}, \dots\) 的每一步收攏為一個集合」的能力。von Neumann 1923 指出：需要「對每個函數 \(F\) ， \(F\) 的值域成集」這類公理才能建構 von Neumann 序數（ \(0 = \varnothing\) ， \(n+1 = n \cup \{n\}\) ， \(\omega = \{0, 1, 2, \dots\}\) ）。

缺口二：無法證明「像集成集」型的構造。具體地：Zermelo 系統不能證明集合 \(Z(\omega_1) = \{\varnothing, \{\varnothing\}, \{\{\varnothing\}\}, \dots, \omega_1\}\) 的存在——從每個 \(x\) 到 \(\{x\}\) 的函數，其像集需要替換公理。

一個具體例子#

例題 4.1.1：在 Zermelo 公理系統內，證明：對任意集合 \(a\) ，存在集合 \(b\) 滿足 \(b \notin a\) （即沒有集合包含一切集合）。

解：由分離公理，對集合 \(a\) 與性質 \(\phi(x) = (x \notin x)\) ，存在

\[ b = \{x \in a : x \notin x\}. \]

（工作域收縮到 \(a\) 。）斷言 \(b \notin a\) 。反設 \(b \in a\) ：

  • 若 \(b \in b\) ：由 \(b\) 的定義（ \(b\) 的成員皆滿足 \(x \notin x\) ），得 \(b \notin b\) ，矛盾。
  • 若 \(b \notin b\) ：由 \(b \in a\) 與 \(b \notin b\) ， \(b\) 滿足成員條件，故 \(b \in b\) ，矛盾。

兩種情形皆矛盾，故 \(b \notin a\) 。 \(\blacksquare\)

對比：樸素集合論中同樣推理得到矛盾（因為 \(b\) 是全體集合的成員候選）；Zermelo 系統中結論是「 \(a\) 不含 \(b\) 」——每個集合都有邊界，宇宙不可能被一個集合窮盡。這條定理是累積層級圖像（4.3 節）的公理化影子：集合宇宙是開放的，永不封頂。

例題 4.1.2：用無窮公理與冪集、併集公理概述 \(\mathbb{N}, \mathbb{Z}, \mathbb{Q}, \mathbb{R}\) 在集合論中的實現。

解：無窮公理給出歸納集（含 \(\varnothing\) 且 \(x \mapsto x \cup \{x\}\) 封閉），其交集定義 \(\omega = \{0, 1, 2, \dots\}\) （von Neumann 自然數）。 \(\mathbb{Z}\) ：以有序對 \((a, b) = \{\{a\}, \{a, b\}\}\) （Kuratowski 定義，用無序對公理）表示差 \(a - b\) 的等價類。 \(\mathbb{Q}\) ：以 \((a, b)\) ， \(b \ne 0\) 表示 \(a/b\) 的等價類。 \(\mathbb{R}\) ：以 \(\mathbb{Q}\) 的 Dedekind 分割或 Cauchy 列等價類（1.2 節的算術化成果在此獲得集合論實現）。整個 1.2 節的分析地基，在七條公理之上被重建——Zermelo 的系統不是學術裝飾，而是把算術化運動的成果裝進一個自洽的公理箱。

ZERMELO 1908 的自我限制#

誠實地說，1908 系統的邏輯基礎是有缺陷的：Zermelo 使用「具有確定性」的性質（definite properties）但未給出精確定義，這使分離公理的「性質」範圍含混。Weyl 與 Fraenkel 都指出此點。Skolem 1922 與 Fraenkel 1922 分別給出精確化：性質 = 一階公式。此精確化既是修補也是炸彈（Skolem 悖論：可數模型的存在，5.3 節）。

歷史啟示#

  • 限制而不是禁止：Zermelo 不禁止實無窮或選擇公理（如直覺主義者），而是限制集合的生成方式——保留最多數學、刪去最少的策略。
  • 悖論可以降格為定理：「每個集合都有邊界」是羅素悖論的合法後代——危機的知識產物。
  • 公理化是護衛工具：Zermelo 為保衛 AC 而公理化，正如 Frege 為保衛算術而形式化——基礎研究常由「辯護」需求驅動。

與其他章節及領域的關聯#

  • 3.1 節：分離公理是羅素悖論的直接解藥。
  • 4.2 節：替換公理補上 1908 系統的兩個缺口。
  • 4.3 節：序數、基數、累積層級在補全後的系統中重建。
  • 8.1 節：AC 的爭議與 Zorn 引理。
  • 5.1–5.3 節：「一階公式」的精確化需要一階邏輯的成熟——Zermelo 的缺陷由 Skolem 修補也由 Skolem 爆炸（可數模型）。
  • 計算機科學：分離公理的「從已有集合切分」是資料庫視圖（view）與型別過濾的邏輯原型；「沒有全域集合」是類型系統層級（Rust、Haskell 的 universe polymorphism）的理論根據。

練習#

  1. 證明：在 Zermelo 系統中，對每個集合 \(a\) ，集合 \(b = \{x \in a : x \notin x\}\) 滿足 \(b \notin a\) ，並解釋為何此證明不產生矛盾。
  2. 用 Kuratowski 有序對定義證明 \((a, b) = (c, d) \Rightarrow a = c \wedge b = d\) 。
  3. 說明在 Zermelo 1908 系統中如何（或為何不能）構造 \(\{V_n : n \in \omega\}\) ，其中 \(V_{n+1} = \mathcal{P}(V_n)\) 。
  4. 檢驗：Zermelo 系統中「所有自然數的集合」的存在依賴無窮公理到什麼程度——若只給「存在某無窮集」，能否得到 \(\omega\) ？
  5. 思考題：Zermelo 的分離公理限制概括到「已有集合」，但無窮公理無中生有。兩者的哲學緊張是什麼？

進階研讀：三個深化場景#

場景一：1908 論文的兩篇並置。Zermelo 1908 同年發表兩篇：〈集合論基礎 I〉（公理）與〈良序定理新證明〉（含 AC 的辯護）。後者花了 14 頁反駁 Borel–Lebesgue–Hadamard–Peano 的批評，其論戰之烈使公理化論文顯得像防禦工事——基礎研究與論戰文化的關係在此清晰可見。

場景二：Fraenkel 的書（1922 之前）。Fraenkel 1919《集合論導論》已指出 Zermelo 系統的序數缺陷，1922 論文正式提出替換公理——公理系統的補全由「使用中的需要」推動，而非純邏輯審美（4.2 節）。

場景三：Zermelo 的後期轉向。1930 年 Zermelo 發表〈集合論基礎 II〉，提出分層宇宙（ \(V_\kappa\) 的層級）與二階邏輯版本，與一階 ZFC 的主流分道。他的層級思想當時被冷落，今日（4.3 節、宇宙多元主義）被視為先知——理論的接受滯後於理論的正確，再次應驗。

名詞速查表#

  • 外延性：集合由成員決定。
  • 分離（Aussonderung）：從已有集合按性質切子集。
  • 冪集公理： \(\mathcal{P}(a)\) 成集。
  • 無窮公理：存在歸納集。
  • 選擇公理（AC）：非空集合族有選擇函數。
  • Kuratowski 有序對： \((a,b) = \{\{a\},\{a,b\}\}\) 。
  • von Neumann 自然數： \(0 = \varnothing\) ， \(n+1 = n \cup \{n\}\) 。

年表速查#

  • 1904：Zermelo 良序定理與 AC。
  • 1904–07：Borel–Lebesgue–Hadamard–Peano 書信戰。
  • 1908：Zermelo〈集合論基礎 I〉七條公理；Russell 類型論同年。
  • 1919：Fraenkel 指出缺口。
  • 1922：Fraenkel、Skolem 提出替換公理與一階精確化。
  • 1923：von Neumann 序數。
  • 1930：Zermelo 分層宇宙。

深化問答三則#

問：Zermelo 的系統與 Russell 的類型論，哪個修補更「經濟」？ 答：Zermelo 的。類型論要求重寫所有數學命題以標注型別（「 \(1+1=2\) 」須在 type-2 層表述），成本極高；Zermelo 只改集合的生成規則，數學家的日常語言幾乎不變。修補方案的成功取決於遷移成本——這在今日的軟體工程（API 遷移）同樣成立。

問：為什麼 Zermelo 不乾脆禁止「 \(x \in x\) 」這類語句？ 答：因為禁止特定語句治標不治本（可造其他悖論變體），且會切斷合法數學（如集合上的自反關係）。分離公理的優雅在於：不禁止語句，而是使「全域集合」不存在——悖論的燃料（全稱總體）被抽走，而非堵住個別出口。

問：選擇公理放在 1908 清單裡意味著什麼？ 答：意味著 Zermelo 將其視為集合論的核心組成而非可選附加——這在當時是少數派立場。他寧願把爭議公開化（AC 明列）也不願藏起來。這種「把爭議編入公理」的誠實，正是公理方法對基礎辯論的最大貢獻：分歧變成可以被精確討論的公理條目。

（本節完）