1910 年：《數學原理》 — Russell 與 Whitehead 用邏輯重建數學#
偵探：Bertrand Russell＋Alfred North Whitehead。案發地：劍橋。卷宗：Principia Mathematica（共三卷）。
案發現場#
1901 年，Russell 在 Frege（1879-Frege概念文字.md）的大廈裡發現炸彈——羅素悖論：考慮「所有不包含自己的集合」 \(R = \{x : x \notin x\}\) ：
則 \(R ∈ R ↔ R \notin R\) ，無論如何都矛盾。Frege 的第五公理（外延原則）瞬間崩塌，Hilbert 的夢（1900-Hilbert23問題.md）還沒開工地基先裂。
報案問題：能否修補邏輯，從無矛盾的邏輯推出全部數學？ Russell 與 Whitehead 花十年寫出 2000 頁的《數學原理》，試圖親手結案。
偵查過程（含數學式/表格/理論）#
第一條線索：悖論現場勘查#
若 \(R ∈ R\) ，依定義得 \(R \notin R\) ；若 \(R \notin R\) ，則符合收錄條件得 \(R ∈ R\) 。故：
同類命案還有：理髮師悖論（全城只為不自己刮鬍者刮鬍者為誰刮？）、說謊者悖論。病因一致：非直謂的自我指涉＋無限制概括原則。
第二條線索：分支型別理論#
Russell 的對策是階層管制：個體為 0 型，個體的集合為 1 型，1 型集合的集合為 2 型，依此類推。規定：
於是 \(x ∈ x\) 根本不是良式， \(R\) 無法寫下，悖論在語法層被拒絕入境。命題也分階（order），避免「所有命題」這類自我指涉。
| 層級 | 住戶 | 能否談論自己 |
|---|---|---|
| 0 型 | 個體 \(a\) 、 \(b\) | 否 |
| 1 型 | 個體性質 \(P(x)\) | 只能談 0 型 |
| 2 型 | 性質的性質 | 只能談 0–1 型 |
| 命題階 | 量詞範圍分層 | 禁止非直謂定義 |
代價是數學處處要「提升型別」，證明冗長到荒謬。
第三條線索： \(1+1=2\) 證了 362 頁#
Principia 用邏輯定義數： \(0\) 是空性質的外延，後繼是擴張，最終證明：
此式出現在第一卷第 362 頁（110.643 定理），附註「此命題偶爾有用」。全書推導鏈：命題演算（1–*5）→ 類演算 → 關係 → 數論，全部只用邏輯常項加推理規則。
Hilbert 式公理＋型別約束讓每個顯然事實都要數十步。全書結尾也未證明一致性——Gödel 在 1931-Godel不完備定理.md 會說明這是注定的。
結案報告#
Principia 結案：邏輯主義壯烈墜機——技術上前無古人，哲學上未達目標（需無窮公理、選擇公理等非邏輯假設）。
遺產卻極豐：
- 型別理論復活為 Church 簡單型別、Martin-Löf 依賴型別，直通 Coq/Lean。
- \(⊢\) 與 \(⊨\) 、使用/提及、對象語言/元語言區分，成為數理邏輯標準配備。
- 直接刺激 Herbrand（1929-Herbrand定理.md）、Gödel（1931-Godel不完備定理.md）、Gentzen（1934-Gentzen自然演繹.md）三代偵探接手。
證據與工具#
核心證據：
型別防火牆：
在型別論中上式左側的 \(R\) 若為 \(n+1\) 型，則 \(x\) 須為 \(n\) 型， \(x = R\) 不可能，故全稱量化取不到 \(R\) 自身，矛盾推不出。
小練習：試證理髮師悖論同構——設 \(b\) 為理髮師， \(S(x, y)\) 表 \(x\) 為 \(y\) 刮鬍，則 \(∀x (S(b, x) ↔ ¬S(x, x))\) 代入 \(x = b\) 得 \(S(b, b) ↔ ¬S(b, b)\) 。解法同：禁止 \(b\) 同時是對象與量詞範圍成員。
延伸閱讀：悖論的元數學終審在 1931-Godel不完備定理.md；型別的現代救贖與證明即程式，要看 1934-Gentzen自然演繹.md；Herbrand 的機械化路線在 1929-Herbrand定理.md。