2.1 羅素悖論（1901）#

1901 年 5 月的發現#

羅素在研究康托爾集合論時發現：設 \(R = \{x \mid x \notin x\}\) （所有不包含自身的集合的集合），則

矛盾。理髮師版本：「只給不給自己刮鬍子的人刮鬍子的人，給自己刮嗎？」——集合論的基礎崩塌一角。

致弗雷格的信#

1902 年 6 月，羅素寫信告訴弗雷格（其《算術基本規律》第二卷即將付印）：「我發現了一個矛盾。」弗雷格回信：「一個科學工作者很少遇到比這更不幸的事。」——學術史上最著名的「拆台信」，卻成就了兩人的友誼。

連鎖反應#

• 希爾伯特第 2 問題（1900）的緊迫性驟增；
• 策梅洛公理化集合論（1908）、類型論（羅素自救方案）相繼誕生；
• 第三次數學危機開場。

flowchart TD
    A[1901 R={x|x∉x}] --> B[集合論矛盾]
    B --> C[1902 致弗雷格信]
    C --> D[策梅洛1908/類型論]
    D --> E[第三次數學危機]

因果：分析武器（1.3）指向數學基礎，第一刀就見血。悖論既是災難也是禮物——沒有它，就沒有 20 世紀的數理邏輯。下一節，羅素與懷特海決定重建一切。