数学曾三次怀疑自己：从无理数、微积分到集合论悖论

🜂

“数学的根基与边界”系列 · 上篇

数学不是一座从未动摇的神殿。它更像一座不断自检、拆除隐患、再重新加固的城市：每一次危机都让一条原本无需解释的常识，变成必须接受审判的假设。

我们常把数学理解为最确定的知识：一旦证明完成，结论似乎就永远不会改变。但数学史真正耐人寻味的地方，并不是它从未犯错，而是它曾数次发现——自己每天使用的语言、对象和推理规则，并没有想象中那样牢固。

所谓“三次数学危机”，并不是说全体数学家在某三个瞬间同时陷入恐慌。它是数学史教学中常见的一种概括：第一次迫使人们承认“数”比整数之比更广阔；第二次要求微积分为无穷小建立严格语义；第三次则让集合、逻辑与公理本身成为审查对象。尤其是第一次危机，后世关于希帕索斯泄露无理数、被投入海中的故事带有浓厚传奇色彩，不宜当作已经坐实的史实。

真正确定的是：三次危机都没有摧毁数学。恰恰相反，它们分别催生了更广阔的数系、更严格的分析学，以及现代公理体系与数理逻辑。

一、什么才称得上“数学危机”？二、第一次危机：不是所有长度都能写成整数之比 1. 一个正方形击穿了“万物皆数”2. 真正破裂的是哪个假设？3. 危机如何被消化？三、第二次危机：无穷小到底是零，还是不是零？1. 先有强大的机器，后补使用说明书 2. 极限把“变化过程”与“最终取值”分开 3. 严格化不只靠一个定义四、第三次危机：集合竟能让逻辑与自己正面相撞 1. 从“任何性质都定义一个集合”开始 2. 罗素悖论：它属于自己，当且仅当它不属于自己 3. 三条重建路线 4. 哥德尔告诉我们的，不是“数学完了”五、三次危机，其实有同一种结构六、数学今天已经绝对安全了吗？七、从“根基”走向“边界”参考资料与延伸阅读

一、什么才称得上“数学危机”？

一道极难的题没有解答，并不等于数学发生危机。危机针对的不是某个结论，而是产生结论的基础设施。

当数学家发现下列情况之一时，基础问题才真正出现：

一个被视为理所当然的对象无法被现有语言容纳；

一套极其成功的计算方法依赖含混、甚至互相冲突的操作；

一组看似自然的原则能够同时推出命题与其否定；

一个雄心勃勃的形式系统，被证明无法完成它为自己设定的全部目标。

因此，数学危机不是“我们暂时不会算”，而是“我们必须重新回答：什么叫数、什么叫极限、什么叫集合、什么叫证明”。

二、第一次危机：不是所有长度都能写成整数之比

1. 一个正方形击穿了“万物皆数”

设正方形边长为。由勾股定理，对角线长度为。如果一切长度都能够写成两个整数之比，那么应存在互素正整数，使

两边平方可得

于是为偶数，所以为偶数。令，代回可得

因此也为偶数。这与互素矛盾。故不能写成整数比。

这个证明短得近乎朴素，但它触及的不是一道计算题，而是一种世界观：整数与整数之比并不足以测量所有几何长度。正方形明明可以画出，对角线也明明存在，可既有的“数”却不能给它一个位置。

2. 真正破裂的是哪个假设？

破裂的并非勾股定理，而是一个未被明说的前提：

任何两个同类几何量都存在公共尺度，因此它们的比必是整数之比。

与没有这样的公共尺度，所以古希腊数学把它们称为不可公度量。欧几里得《几何原本》第十卷后来系统研究了这类量。几何没有因此失效，反而被迫发展出一种不依赖“把所有长度都化成分数”的比例理论。

3. 危机如何被消化？

从今天看，解决办法似乎只是把有理数集扩张为实数集。但“在数轴上补上无理数”并不是给空隙起一个名字那么简单：还必须说明这些新对象是什么，它们如何比较、运算，以及为什么数轴不再留下缺口。

到十九世纪，戴德金分割、柯西序列等构造给出了实数的严格模型。以戴德金分割为例，一个无理数可以由它在有理数中切出的左右两部分确定。于是连续直线不再只是几何直觉，而能够用算术结构表达。

第一次危机留下了两条长久的遗产：

对象的存在不能受限于旧记号。 现有数系装不下某个自然对象时，应该检验数系，而不是否认对象。

证明可以纠正最深的直觉。 “看起来所有长度都应可测”无法推翻一个严格的反证法。

三、第二次危机：无穷小到底是零，还是不是零？

1. 先有强大的机器，后补使用说明书

十七世纪，牛顿与莱布尼茨建立微积分。它迅速解决了切线、瞬时速度、面积、体积与天体运动等大量问题，其有效性毋庸置疑。但早期论证常把“无穷小量”当作一种神秘对象：它比任何正常的正数都小，却又不是零；计算中可以拿它作除数，最后又可以把含有它的项删掉。

以的导数为例：

约去时要求；随后为了得到导数，又把当作消失了。如果“消失”就是令，那么前一步除以不合法；如果始终不为零，为什么最后可以丢掉它？

1734 年，乔治·贝克莱在《分析学家》中尖锐质疑这种做法，并把这些量讥讽为“逝去量的幽灵”。这并没有证明微积分的答案错误，却准确指出：会算，不等于已经说明为什么可以这样算。

2. 极限把“变化过程”与“最终取值”分开

现代定义不需要先制造一个既是零又不是零的。导数定义为

这里在整个差商中始终有；我们研究的是当可以任意接近零时，差商是否逼近唯一的数。

对，有

给定任意，只需取。当时，上式便小于。这就严格证明了导数等于，没有任何一步需要把非零的突然改成零。

更一般地，

意味着：对任意，都存在，使得只要，便有。

这套语言的力量在于，它把“无限接近”翻译成了有限而可检验的量词关系。

3. 严格化不只靠一个定义

柯西推动了极限、连续与收敛的系统化；魏尔斯特拉斯学派进一步发展了语言；戴德金与康托尔等人则为实数连续统提供严格构造。只有当数列的极限、函数的连续性、实数的完备性彼此衔接，微积分才真正拥有稳定的地基。

第二次危机的结果不是抛弃无穷，而是区分了三个层次：

直觉告诉我们应该逼近什么；

定义说明“逼近”究竟是什么意思；

证明核验某个对象确实满足定义。

今天也存在严格的非标准分析，它把无穷小重新建模为合法对象。这反而说明问题的关键从来不是“绝不能谈无穷小”，而是：一旦使用它，就必须给出一致的理论与明确的规则。

四、第三次危机：集合竟能让逻辑与自己正面相撞

1. 从“任何性质都定义一个集合”开始

十九世纪末，康托尔的集合论让数学家能够比较无穷的大小、研究点集与函数空间，并为整个数学提供一种统一语言。一个看似自然的想法是：给定清楚的性质，所有满足它的对象可以组成集合

问题在于，如果“任何性质”都可以无限制地生成集合，自指就会进入系统。

2. 罗素悖论：它属于自己，当且仅当它不属于自己

考虑集合

也就是“所有不以自身为元素的集合”组成的集合。现在询问是否成立：

若，按的定义，它应满足；

若，按定义它又正应属于。

因此

这不是一个等待计算的难题，而是矛盾。1902 年，罗素在致弗雷格的信中说明了这一问题；它击中了以逻辑奠基算术的宏大计划，也暴露了朴素集合论中“无限制概括原则”的危险。

3. 三条重建路线

数学家没有简单宣布“从此禁止集合”，而是尝试精确限制合法对象与合法推理。

第一条路线：公理化集合论。 策梅洛不再允许任意性质凭空生成一个包罗万象的集合；分离公理只允许从已经给定的集合中筛选元素。经过弗兰克尔、斯科伦等人的发展，形成今日常用的 ZF；加入选择公理后成为 ZFC。

第二条路线：类型论与逻辑主义修补。 罗素用类型层级阻止对象在同一层次上无约束地指涉自身。不同层次的表达式不再能随意互相充当元素或谓词。

第三条路线：重新理解证明与构造。 希尔伯特的形式主义强调把证明写成可检查的符号规则；布劳威尔的直觉主义则拒绝某些缺乏构造内容的经典推理。它们并非只是技术补丁，而是在争论“数学对象为何存在”“证明为何可信”。

4. 哥德尔告诉我们的，不是“数学完了”

希尔伯特纲领希望以有限、可控的方法证明整个数学形式系统的相容性与完备性。1931 年，哥德尔不完备定理表明：任何一致、可有效公理化且足以表达基本算术的系统，都存在该系统内部既不能证明也不能否定的命题；在通常条件下，这类系统也不能在自身内部证明自己的相容性。

这经常被误读为“所有真理都不可证明”或“数学可能随时自相矛盾”。两者都不对。定理真正划出的边界是：

相对于某一套固定公理，真命题与可证命题不必完全重合；

增加公理可以解决某些旧系统中的不可判定命题，但新系统仍可能产生新的边界；

形式化极其强大，却不能用一套足够强且一致的规则，把自己的全部数学真理一次性封闭起来。

第三次危机由此没有得到一个“终结一切基础问题”的答案。它得到的是更成熟的结果：明确写出公理，研究模型与相对相容性，并承认不同基础体系可以各自服务于不同目标。

五、三次危机，其实有同一种结构

危机	隐藏假设	暴露方式	重建成果
不可公度量	所有长度之比都是有理数	的反证法	无理量理论、实数体系
微积分基础	无穷小可在零与非零之间含混切换	差商与“消失量”的逻辑漏洞	极限、完备性、严格分析
集合论与逻辑	任何性质都能无限制地定义集合	罗素悖论与其他反常	公理集合论、类型论、数理逻辑