集合论与数学基础危机

一、康托尔：给无穷分级

19 世纪以前的数学家对无穷的态度是敬而远之：高斯说"无穷只是一种说法"，亚里士多德只允许"潜在的无穷"——你可以一直数下去，但"全体自然数"这个完成了的整体不许进场。格奥尔格·康托尔（Georg Cantor，1845—1918 年）打破了这道禁令。这位出生于圣彼得堡、后随家迁居德意志、长期任教于哈雷大学的数学家，1873 年与戴德金通信时提出一个看似简单的问题：全体正整数能和全体正实数一一对应吗？

1874 年发表的论文《论所有实代数数集合的一个性质》给出了石破天惊的答案：全体代数数（整系数多项方程的根，包括所有有理数和 √2 这类无理数）可以与自然数一一对应，是"可数"的；而全体实数不可数——任何把实数排成一列的尝试都必然漏掉无穷多个。这是数学史上第一次证明两种无穷"不一样大"。证明可数性的手法本身也成了经典：把全体分数排进一张无穷的三角阵，沿对角线蛇形数过去，一个不漏。而"不可数"的结论还顺手得到一个漂亮的推论：超越数（不是任何整系数方程根的数）不但存在，而且"几乎所有"实数都是超越数——此前刘维尔 1844 年费尽心思才构造出第一个超越数。康托尔的方法是一把新的尺子：两个集合能建立一一对应，就说它们"等势"。这把尺子古已有之的影子——1638 年伽利略就困惑过平方数与全体自然数为何能一一配对，1888 年戴德金干脆用"能与自身真子集一一对应"来定义无穷集合——但只有康托尔把它磨成了系统的理论。

1877 年他又发现线段上的点能与正方形内的点一一对应，写信给戴德金时连自己都惊呼"我看见了，但我不敢相信"。1879 到 1884 年间，他发表六篇《论无穷的线性点流形》系列论文，1883 年的《一般集合论基础》把研究推进到序数：不仅比较集合"有多少"（基数），还比较良序集合"排多长"——ω、ω+1、ω·2、ω²……这套超限序数给"数下去"的动作赋予了越过无穷之后仍能继续的形式。1895、1897 年两卷《对超穷集合论的贡献》引入希伯来字母 ℵ（阿列夫）给无穷分级：自然数集合的势记作 ℵ₀，实数集合的势（连续统的势）严格更大。无穷不再是混沌一团，而是一座可以逐级攀登的阶梯。

二、对角线论证与连续统假设

1891 年，康托尔给出了那个被后世反复致敬的对角线论证：假设 0 到 1 之间的实数能排成一列，把每个数写成无限小数，取对角线上的数字逐位改变，造出的新数与表中第一项在小数点后第一位不同、与第二项在第二位不同……与每一项都至少有一位不同——所以它根本不在表中。证明只有几行，威力却是爆炸性的：它立即推出任何集合的幂集（全体子集构成的集合）都比原集合更"大"，于是无穷没有尽头，ℵ 之后永远还有更大的 ℵ。

康托尔 1878 年就提出了那条折磨他后半生的猜想——连续统假设：实数的势恰好是紧跟 ℵ₀ 之后的那个无穷，两者之间没有第三种势。他数度宣布"已经证明"又数度撤回，终生未能解决，1884 年起反复发作的抑郁症与此不无关系，晚年多次住进疗养院，1918 年在哈雷的疗养院去世。更刺痛他的是同代人的敌意：老师辈的克罗内克攻击他是"青年的腐蚀者"，那句名言"上帝创造了整数，其余都是人的工作"就是冲着集合论来的，连他想调往柏林或哥廷根的计划也被一一阻断。支持者也立场鲜明——希尔伯特 1925 年的演讲《论无穷》里喊出那句名垂数学史的话："没有人能把我们从康托尔创造的天堂里赶出去。"

三、罗素悖论：天堂门槛上的裂缝

康托尔的天堂奠基在一块未经检验的地基上：任意性质都可以圈出一个集合——这就是所谓的"概括原则"。1901 年，伯特兰·罗素（Bertrand Russell，1872—1970 年）在准备《数学原则》书稿时顺着这条原则追问了一步：考虑"所有不属于自身的集合"构成的集合 R，那么 R 属于 R 吗？若 R ∈ R，按定义它不满足"不属于自身"，故 R ∉ R；若 R ∉ R，它又恰好满足那个性质，故 R ∈ R。两个方向都是矛盾。

1902 年 6 月，罗素把这个悖论写信告诉弗雷格。这位耶拿大学的逻辑学家半生心血都倾注在一项雄心勃勃的工程上：把算术严格还原为纯逻辑。当时他的《算术基本定律》第二卷正在印刷，全书大厦建立在一条类似概括原则的"第五基本定律"上——任何概念的外延都可以当作对象参与运算。弗雷格在书后补加的跋里写下了学术史上最著名的哀鸣之一：“一个科学工作者遭遇的最坏的事，莫过于在大厦竣工时地基塌了。本书付印之际，罗素先生的一封信就把我置于这种境地。“罗素后来用通俗的"理发师悖论"传播这个思想：村里理发师宣称给所有不给自己刮脸的人刮脸，那么他给自己刮脸吗？类似的裂缝其实早有征兆——1897 年布拉利-福尔蒂用全体序数构造出悖论，康托尔自己也意识到"全体集合的集合"会出问题——但罗素悖论的表述只需最朴素的语言，谁也无法再假装看不见。

四、三大学派的对垒

悖论把"数学的确定性"本身推上了审判席：如果最基本的集合概念都能推出矛盾，那么微积分、几何乃至算术建立在什么之上？20 世纪初形成三派救市方案。

逻辑主义的代表是罗素与怀特海：数学可以全部化归为纯逻辑。两人合著的**《数学原理》（Principia Mathematica）三卷本 1910—1913 年出版，用罗素 1908 年提出的类型论**规避悖论——集合分层级，任何集合只能由低一级的对象构成，“属于自身"在语法上就不合法，罗素悖论无从说起。全书从纯逻辑前提出发推导数学，推了几百页，才在第一卷第 379 页证得 1+1=2，紧跟其后的评注竟是"上述命题偶尔有用”——逻辑主义把严格性推到了极致，也把繁琐推到了极致，几乎无人通读全书。

直觉主义的代表是荷兰人布劳威尔（L. E. J. Brouwer，1881—1966 年）：数学对象必须由心智构造出来才算存在，排中律（“非真即假”）对无穷集合不可用——宣称"存在一个满足某性质的数”，你得真的把它构造出来，靠"假设不存在会矛盾"推出的存在性不算数。这等于要砍掉经典数学的大片领地，连希尔伯特的高足外尔都一度倒戈投奔。希尔伯特讥讽这无异于"禁止拳手使用拳头”，1928 年更动用主编权力把布劳威尔逐出《数学年刊》编委会——史称"基础之争"中最难看的一幕。

形式主义的代表正是希尔伯特（David Hilbert，1862—1943 年）：数学是无意义的符号游戏，关键不是符号"是什么意思"，而是游戏规则（公理与推理规则）相容——永远不会推出矛盾。他在 1920 年代提出"希尔伯特纲领"：把数学彻底形式化，再用无可怀疑的"有穷方法"在元数学层面证明整个形式化算术的相容性，一劳永逸地为数学上保险。1928 年他在博洛尼亚国际数学家大会上列出数理逻辑四大待解问题，语气踌躇满志，仿佛收尾只是几年内的事。三派吵得天翻地覆，没人想到裁决者会是一个二十五岁的维也纳青年。

五、公理化集合论的重建

另一条更务实的路是绕开悖论、重建集合论：与其争论哪种哲学正确，不如先把"什么能做"用公理钉死。1908 年，恩斯特·策梅洛（Ernst Zermelo，1871—1953 年）发表《集合论基础研究》，抛弃"任意性质造集合"的概括原则，代之以一组小心翼翼列出的七条公理——关键是分离公理：只能在已有集合内部用性质筛出子集，“所有集合的集合"从源头就无法构造，罗素悖论随之失效。

1922 年，弗伦克尔与斯科伦分别指出策梅洛系统的漏洞，补上替换公理，形成今天通用的 ZF 公理系统；再加上争议不断的选择公理（可以从一族非空集合中各选一个元素——策梅洛 1904 年用它证明了良序定理，1924 年巴拿赫与塔斯基还用它推出著名怪论：一个实心球可以切成有限块，重新拼成两个与原球同样大小的球），合称 ZFC，至今仍是数学默认的地基。二十世纪下半叶的数学教材翻开第一章，几乎都要先声明"本书在 ZFC 框架下工作”。集合论从危机的源头，变成了安置全部数学的标准语言。

六、哥德尔 1931：不完备性定理

库尔特·哥德尔（Kurt Gödel，1906—1978 年）出生于奥匈帝国的布尔诺，在维也纳大学读逻辑，外围参加过石里克主持的维也纳小组讨论，博士论文（1930 年）证明了一阶逻辑的完备性——一切逻辑上真的命题都能被证明。希尔伯特纲领正等着这样的年轻人添砖加瓦，结果他反手拆掉了整个工地。1930 年 9 月他在柯尼斯堡的一次学术会议上轻描淡写地宣布了自己的结果，在场的人里只有冯·诺依曼立刻意识到发生了什么；1931 年论文《论〈数学原理〉及有关系统中的形式不可判定命题》正式发表，震动了整个数学界。

第一不完备定理：任何一个相容的、强到足以表达初等算术的形式系统，内部必然存在既不能被证明也不能被否证的命题——而且按常识判断它是真的。证明的机关是哥德尔配数：给每个符号、每条公式、每串证明编码成自然数，把"证明"这种元数学活动翻译成系统内部的算术运算，于是系统获得了谈论自身的能力；再借助对角线技巧构造出那句著名的话："本命题在此系统中不可证明。“它若可证，系统就证明了一个假命题，与相容性冲突；故它不可证——而它说的恰恰是它自己不可证，所以它又是真的。

第二不完备定理更致命：这样的系统无法证明自己的相容性——它连"我不会出矛盾"这句话都无权自证。希尔伯特纲领要求"用有穷方法证明算术相容”，可有穷方法无非是算术系统内的一小部分手段——定理宣判这条路从原理上走不通。冯·诺依曼 1930 年 11 月读罢论文初稿就独立推出了第二定理，写信告知哥德尔时才得知对方早已得到，慨然把优先权让出。1936 年，罗瑟把第一定理的条件从哥德尔原来需要的 ω-相容性放宽到普通相容性；同年根岑借助超出有穷主义的超限归纳（归纳到序数 ε₀）证明了算术的相容性，算是为纲领抢救回半壁江山。但数学"绝对自我担保"的梦想，在 1931 年就永远结束了。

七、危机之后：数学照常营业

哥德尔没有摧毁数学，反而炸出了现代逻辑学：图灵 1936 年把"不可判定"翻译成停机问题的语言，计算理论由此诞生。康托尔留下的连续统假设也等来了结局，却是个哥德尔式的结局：哥德尔 1938 年构造出"可构造宇宙"模型——一个只容纳"能被逐步定义出来"的集合的极简宇宙——证明连续统假设与 ZFC 相容；1963 年科恩发明力迫法，从相反方向向宇宙中强行"添加"新集合，证明它的否定也与 ZFC 相容——合起来：在 ZFC 框架内它既不可证也不可否。希尔伯特 1900 年巴黎演讲列出的头号问题，六十年后以"独立于公理系统"的方式尘埃落定，独立性证明自此成为集合论的核心工具，科恩因此获 1966 年菲尔兹奖。

至于哥德尔本人，1940 年初为躲避战火携妻子离开维也纳，绕道西伯利亚大铁路、横渡太平洋抵达普林斯顿高等研究院，与爱因斯坦成为至交——爱因斯坦晚年说自己来办公室"只是为了有幸陪哥德尔走回家"。1949 年他还从广义相对论方程里解出允许"时间旅行"的旋转宇宙模型，作为献给爱因斯坦七十寿辰的礼物。1978 年，因妄想食物被下毒而拒绝进食的哥德尔死于营养不良，终年 71 岁。数学家们最终学会与不完备性共处：算术、几何、分析照旧在 ZFC 的框架里生长，只是每个人都知道，地基的绝对保证书永远开不出来，任何足够强的系统里都沉眠着它无法触及的真命题。有趣的是，1931 年之后数学的成果不减反增——危机清掉的只是幻觉，不是数学本身。正如克莱因后来那本名著的书名所总结的，人类失去的是"确定性"，得到的却是对数学本性更深一层的理解。