数学悖论与三次数学危机

1、2021/3/10授课：XXX1 数学悖论与三次数学危机数学悖论与三次数学危机 “古往今来，为数众多的古往今来，为数众多的 悖论为逻辑思想的发展提供了食粮。悖论为逻辑思想的发展提供了食粮。” N布尔巴基布尔巴基 2021/3/10授课：XXX2 什么是悖论？笼统地说，是指这样的什么是悖论？笼统地说，是指这样的 推理过程：它看上去是合理的，但结果却推理过程：它看上去是合理的，但结果却 得出了矛盾。悖论在很多情况下表现为能得出了矛盾。悖论在很多情况下表现为能 得出不符合排中律的矛盾命题：由它的真，得出不符合排中律的矛盾命题：由它的真， 可以推出它为假；由它的假，则可以推出可以推出它为假；由它的假，

2、则可以推出 它为真。由于严格性被公认为是数学的一它为真。由于严格性被公认为是数学的一 个主要特点，因此如果数学中出现悖论会个主要特点，因此如果数学中出现悖论会 造成对数学可靠性的怀疑。造成对数学可靠性的怀疑。 2021/3/10授课：XXX3 如果这一悖论涉及面十分广泛的话，如果这一悖论涉及面十分广泛的话， 这种冲击波会更为强烈，由此导致的怀这种冲击波会更为强烈，由此导致的怀 疑还会引发人们认识上的普遍危机感。疑还会引发人们认识上的普遍危机感。 在这种情况下，悖论往往会直接导致在这种情况下，悖论往往会直接导致 “数学危机数学危机”的产生。按照西方习惯的的产生。按照西方习惯的 说法，在数学发展史

3、上迄今为止出现了说法，在数学发展史上迄今为止出现了 三次这样的数学危机。三次这样的数学危机。 2021/3/10授课：XXX4 希帕索斯悖论与第一次数学危机希帕索斯悖论与第一次数学危机 希帕索斯悖论的提出与勾股定理的发现密切希帕索斯悖论的提出与勾股定理的发现密切 相关。因此，我们从勾股定理谈起。勾股定理是相关。因此，我们从勾股定理谈起。勾股定理是 欧氏几何中最著名的定理之一。天文学家开普勒欧氏几何中最著名的定理之一。天文学家开普勒 曾称其为欧氏几何两颗璀璨的明珠之一。它在数曾称其为欧氏几何两颗璀璨的明珠之一。它在数 学与人类的实践活动中有着极其广泛的应用，同学与人类的实践活动中有着极其广泛的应

4、用，同 时也是人类最早认识到的平面几何定理之一。在时也是人类最早认识到的平面几何定理之一。在 我国，最早的一部天文数学著作我国，最早的一部天文数学著作周髀算经周髀算经中中 就已有了关于这一定理的初步认识。不过，在我就已有了关于这一定理的初步认识。不过，在我 国对于勾股定理的证明却是较迟的事情。一直到国对于勾股定理的证明却是较迟的事情。一直到 三国时期的赵爽才用面积割补给出它的第一种证三国时期的赵爽才用面积割补给出它的第一种证 明。明。 2021/3/10授课：XXX5 在国外，最早给出这一定理证明的在国外，最早给出这一定理证明的 是古希腊的毕达哥拉斯。因而国外一般是古希腊的毕达哥拉斯。因而国外

5、一般 称之为称之为“毕达哥拉斯定理毕达哥拉斯定理”。并且据说。并且据说 毕达哥拉斯在完成这一定理证明后欣喜毕达哥拉斯在完成这一定理证明后欣喜 若狂，而杀牛百只以示庆贺。因此这一若狂，而杀牛百只以示庆贺。因此这一 定理还又获得了一个带神秘色彩的称号：定理还又获得了一个带神秘色彩的称号： “百牛定理百牛定理”。 2021/3/10授课：XXX6 毕达哥拉斯毕达哥拉斯 2021/3/10授课：XXX7 毕达哥拉斯是公元前五世纪古希腊的著毕达哥拉斯是公元前五世纪古希腊的著 名数学家与哲学家。他曾创立了一个合政治、名数学家与哲学家。他曾创立了一个合政治、 学术、宗教三位一体的神秘主义派别：毕达学术、宗教

6、三位一体的神秘主义派别：毕达 哥拉斯学派。由毕达哥拉斯提出的著名命题哥拉斯学派。由毕达哥拉斯提出的著名命题 “万物皆数万物皆数”是该学派的哲学基石。而是该学派的哲学基石。而“一一 切数均可表成整数或整数之比切数均可表成整数或整数之比”则是这一学则是这一学 派的数学信仰。然而，具有戏剧性的是由毕派的数学信仰。然而，具有戏剧性的是由毕 达哥拉斯建立的毕达哥拉斯定理却成了毕达达哥拉斯建立的毕达哥拉斯定理却成了毕达 哥拉斯学派数学信仰的哥拉斯学派数学信仰的“掘墓人掘墓人”。 2021/3/10授课：XXX8 毕达哥拉斯定理提出后，其学派中的一个成毕达哥拉斯定理提出后，其学派中的一个成 员希帕索斯考虑了

7、一个问题：边长为员希帕索斯考虑了一个问题：边长为1的正的正 方形其对角线长度是多少呢？他发现这一长方形其对角线长度是多少呢？他发现这一长 度既不能用整数，也不能用分数表示，而只度既不能用整数，也不能用分数表示，而只 能用一个新数来表示。希帕索斯的发现导致能用一个新数来表示。希帕索斯的发现导致 了数学史上第一个无理数了数学史上第一个无理数2 的诞生。小小的诞生。小小2 的出现，却在当时的数学界掀起了一场巨大的出现，却在当时的数学界掀起了一场巨大 风暴。它直接动摇了毕达哥拉斯学派的数学风暴。它直接动摇了毕达哥拉斯学派的数学 信仰，使毕达哥拉斯学派为之大为恐慌。信仰，使毕达哥拉斯学派为之大为恐慌。

8、2021/3/10授课：XXX9 实际上，这一伟大发现不但是对毕达实际上，这一伟大发现不但是对毕达 哥拉斯学派的致命打击。对于当时所哥拉斯学派的致命打击。对于当时所 有古希腊人的观念这都是一个极大的有古希腊人的观念这都是一个极大的 冲击。这一结论的悖论性表现在它与冲击。这一结论的悖论性表现在它与 常识的冲突上：任何量，在任何精确常识的冲突上：任何量，在任何精确 度的范围内都可以表示成有理数。这度的范围内都可以表示成有理数。这 不但在希腊当时是人们普遍接受的信不但在希腊当时是人们普遍接受的信 仰，就是在今天，测量技术已经高度仰，就是在今天，测量技术已经高度 发展时，这个断言也毫无例外是正确发展时

9、，这个断言也毫无例外是正确 的！的！ 2021/3/10授课：XXX10 可是为我们的经验所确信的，完全符可是为我们的经验所确信的，完全符 合常识的论断居然被小小的合常识的论断居然被小小的2的存在的存在 而推翻了！这应该是多么违反常识，而推翻了！这应该是多么违反常识， 多么荒谬的事！它简直把以前所知道多么荒谬的事！它简直把以前所知道 的事情根本推翻了。更糟糕的是，面的事情根本推翻了。更糟糕的是，面 对这一荒谬人们竟然毫无办法。这就对这一荒谬人们竟然毫无办法。这就 在当时直接导致了人们认识上的危机，在当时直接导致了人们认识上的危机， 从而导致了西方数学史上一场大的风从而导致了西方数学史上一场大的

10、风 波，史称波，史称“第一次数学危机第一次数学危机”。 2021/3/10授课：XXX11 欧多克欧多克 2021/3/10授课：XXX12 二百年后，大约在公元前二百年后，大约在公元前370年，才华横溢的年，才华横溢的 欧多克索斯建立起一套完整的比例论。他本人的欧多克索斯建立起一套完整的比例论。他本人的 著作已失传，他的成果被保存在欧几里德著作已失传，他的成果被保存在欧几里德几何几何 原本原本一书第五篇中。欧多克索斯的巧妙方法可一书第五篇中。欧多克索斯的巧妙方法可 以避开无理数这一以避开无理数这一“逻辑上的丑闻逻辑上的丑闻”，并保留住，并保留住 与之相关的一些结论，从而解决了由无理数出现与之

11、相关的一些结论，从而解决了由无理数出现 而引起的数学危机。但欧多克索斯的解决方式，而引起的数学危机。但欧多克索斯的解决方式， 是借助几何方法，通过避免直接出现无理数而实是借助几何方法，通过避免直接出现无理数而实 现的。这就生硬地把数和量肢解开来。在这种解现的。这就生硬地把数和量肢解开来。在这种解 决方案下，对无理数的使用只有在几何中是允许决方案下，对无理数的使用只有在几何中是允许 的，合法的，在代数中就是非法的，不合逻辑的。的，合法的，在代数中就是非法的，不合逻辑的。 或者说无理数只被当作是附在几何量上的单纯符或者说无理数只被当作是附在几何量上的单纯符 号，而不被当作真正的数。号，而不被当作真

12、正的数。 2021/3/10授课：XXX13 一直到一直到18世纪，当数学家证明了基本常数如世纪，当数学家证明了基本常数如 圆周率是无理数时，拥护无理数存在的人才圆周率是无理数时，拥护无理数存在的人才 多起来。到十九世纪下半叶，现在意义上的多起来。到十九世纪下半叶，现在意义上的 实数理论建立起来后，无理数本质被彻底搞实数理论建立起来后，无理数本质被彻底搞 清，无理数在数学园地中才真正扎下了根。清，无理数在数学园地中才真正扎下了根。 无理数在数学中合法地位的确立，一方面使无理数在数学中合法地位的确立，一方面使 人类对数的认识从有理数拓展到实数，另一人类对数的认识从有理数拓展到实数，另一 方面也真

13、正彻底、圆满地解决了第一次数学方面也真正彻底、圆满地解决了第一次数学 危机。危机。 2021/3/10授课：XXX14 贝克莱贝克莱 2021/3/10授课：XXX15 贝克莱悖论与第二次数学危机贝克莱悖论与第二次数学危机 第二次数学危机导源于微积分工具的使用。伴随第二次数学危机导源于微积分工具的使用。伴随 着人们科学理论与实践认识的提高，十七世纪几着人们科学理论与实践认识的提高，十七世纪几 乎在同一时期，微积分这一锐利无比的数学工具乎在同一时期，微积分这一锐利无比的数学工具 为牛顿、莱布尼兹各自独立发现。这一工具一问为牛顿、莱布尼兹各自独立发现。这一工具一问 世，就显示出它的非凡威力。许许多

14、多疑难问题世，就显示出它的非凡威力。许许多多疑难问题 运用这一工具后变得易如翻掌。但是不管是牛顿，运用这一工具后变得易如翻掌。但是不管是牛顿， 还是莱布尼兹所创立的微积分理论都是不严格的。还是莱布尼兹所创立的微积分理论都是不严格的。 两人的理论都建立在无穷小分析之上，但他们对两人的理论都建立在无穷小分析之上，但他们对 作为基本概念的无穷小量的理解与运用却是混乱作为基本概念的无穷小量的理解与运用却是混乱 的。因而，从微积分诞生时就遭到了一些人的反的。因而，从微积分诞生时就遭到了一些人的反 对与攻击。其中攻击最猛烈的是英国大主教贝克对与攻击。其中攻击最猛烈的是英国大主教贝克 莱。莱。 2021/3

15、/10授课：XXX16 1734年，贝克莱以年，贝克莱以“渺小的哲学家渺小的哲学家”之名出版了一本之名出版了一本 标题很长的书标题很长的书分析学家；或一篇致一位不信神数学家的分析学家；或一篇致一位不信神数学家的 论文，其中审查一下近代分析学的对象、原则及论断是不论文，其中审查一下近代分析学的对象、原则及论断是不 是比宗教的神秘、信仰的要点有更清晰的表达，或更明显是比宗教的神秘、信仰的要点有更清晰的表达，或更明显 的推理的推理。在这本书中，贝克莱对牛顿的理论进行了攻击。在这本书中，贝克莱对牛顿的理论进行了攻击。 例如他指责牛顿，为计算比如说例如他指责牛顿，为计算比如说 x2 的导数，先将的导数，

16、先将 x取取 一个不为一个不为0的增量的增量 x ，由，由 (x + x)2 - x2 ，得到，得到 2xx + (x2) ，后再被，后再被 x 除，得到除，得到 2x + x ，最后突然令，最后突然令 x = 0 ，求得导数为，求得导数为 2x 。这是。这是“依靠双重错误得到了不科学依靠双重错误得到了不科学 却正确的结果却正确的结果”。因为无穷小量在牛顿的理论中一会儿说。因为无穷小量在牛顿的理论中一会儿说 是零，一会儿又说不是零。因此，贝克莱嘲笑无穷小量是是零，一会儿又说不是零。因此，贝克莱嘲笑无穷小量是 “已死量的幽灵已死量的幽灵”。贝克莱的攻击虽说出自维护神学的目。贝克莱的攻击虽说出自维

17、护神学的目 的，但却真正抓住了牛顿理论中的缺陷，是切中要害的。的，但却真正抓住了牛顿理论中的缺陷，是切中要害的。 2021/3/10授课：XXX17 数学史上把贝克莱的问题称之为数学史上把贝克莱的问题称之为“贝克贝克 莱悖论莱悖论”。笼统地说，贝克莱悖论可以表述。笼统地说，贝克莱悖论可以表述 为为“无穷小量究竟是否为无穷小量究竟是否为0”的问题：就无穷的问题：就无穷 小量在当时实际应用而言，它必须既是小量在当时实际应用而言，它必须既是0， 又不是又不是0。但从形式逻辑而言，这无疑是一。但从形式逻辑而言，这无疑是一 个矛盾。这一问题的提出在当时的数学界引个矛盾。这一问题的提出在当时的数学界引 起

18、了一定的混乱，由此导致了第二次数学危起了一定的混乱，由此导致了第二次数学危 机的产生。机的产生。 2021/3/10授课：XXX18 牛顿牛顿 莱布尼兹莱布尼兹 2021/3/10授课：XXX19 针对贝克莱的攻击，牛顿与莱布尼兹都针对贝克莱的攻击，牛顿与莱布尼兹都 曾试图通过完善自己的理论来解决，但都没曾试图通过完善自己的理论来解决，但都没 有获得完全成功。这使数学家们陷入了尴尬有获得完全成功。这使数学家们陷入了尴尬 境地。一方面微积分在应用中大获成功，另境地。一方面微积分在应用中大获成功，另 一方面其自身却存在着逻辑矛盾，即贝克莱一方面其自身却存在着逻辑矛盾，即贝克莱 悖论。这种情况下对微

19、积分的取舍上到底何悖论。这种情况下对微积分的取舍上到底何 去何从呢？去何从呢？ 2021/3/10授课：XXX20 “向前进，向前进，你就会获得信念！向前进，向前进，你就会获得信念！” 达朗贝尔吹起奋勇向前的号角，在此号角的达朗贝尔吹起奋勇向前的号角，在此号角的 鼓舞下，十八世纪的数学家们开始不顾基础鼓舞下，十八世纪的数学家们开始不顾基础 的不严格，论证的不严密，而是更多依赖于的不严格，论证的不严密，而是更多依赖于 直观去开创新的数学领地。于是一套套新方直观去开创新的数学领地。于是一套套新方 法、新结论以及新分支纷纷涌现出来。法、新结论以及新分支纷纷涌现出来。 2021/3/10授课：XXX2

20、1 经过一个多世纪的漫漫征程，几代数学家，经过一个多世纪的漫漫征程，几代数学家， 包括达朗贝尔、拉格朗日、贝努力家族、拉包括达朗贝尔、拉格朗日、贝努力家族、拉 普拉斯以及集众家之大成的欧拉等人的努力，普拉斯以及集众家之大成的欧拉等人的努力， 数量惊人前所未有的处女地被开垦出来，微数量惊人前所未有的处女地被开垦出来，微 积分理论获得了空前丰富。积分理论获得了空前丰富。18世纪有时甚至世纪有时甚至 被称为被称为“分析的世纪分析的世纪”。然而，与此同时十。然而，与此同时十 八世纪粗糙的，不严密的工作也导致谬误越八世纪粗糙的，不严密的工作也导致谬误越 来越多的局面，不谐和音的刺耳开始震动了来越多的局面

21、，不谐和音的刺耳开始震动了 数学家们的神经。数学家们的神经。 2021/3/10授课：XXX22 柯西柯西 2021/3/10授课：XXX23 到十九世纪，批判、系统化和严密论到十九世纪，批判、系统化和严密论 证的必要时期降临了。使分析基础严密证的必要时期降临了。使分析基础严密 化的工作由法国著名数学家柯西迈出了第化的工作由法国著名数学家柯西迈出了第 一大步。柯西于一大步。柯西于1821年开始出版了几本具年开始出版了几本具 有划时代意义的书与论文。其中给出了分有划时代意义的书与论文。其中给出了分 析学一系列基本概念的严格定义。如他开析学一系列基本概念的严格定义。如他开 始用不等式来刻画极限，使

22、无穷的运算化始用不等式来刻画极限，使无穷的运算化 为一系列不等式的推导。为一系列不等式的推导。 2021/3/10授课：XXX24 这就是所谓极限概念的这就是所谓极限概念的“算术化算术化”。后。后 来，德国数学家魏尔斯特拉斯给出更为完善来，德国数学家魏尔斯特拉斯给出更为完善 的我们目前所使用的的我们目前所使用的“- ”方法。另外，在方法。另外，在 柯西的努力下，连续、导数、微分、积分、柯西的努力下，连续、导数、微分、积分、 无穷级数的和等概念也建立在了较坚实的基无穷级数的和等概念也建立在了较坚实的基 础上。不过，在当时情况下，由于实数的严础上。不过，在当时情况下，由于实数的严 格理论未建立起来

23、，所以柯西的极限理论还格理论未建立起来，所以柯西的极限理论还 不可能完善。不可能完善。 2021/3/10授课：XXX25 柯西之后，魏尔斯特拉斯、戴德金、康托尔柯西之后，魏尔斯特拉斯、戴德金、康托尔 各自经过自己独立深入的研究，都将分析基各自经过自己独立深入的研究，都将分析基 础归结为实数理论，并于七十年代各自建立础归结为实数理论，并于七十年代各自建立 了自己完整的实数体系。魏尔斯特拉斯的理了自己完整的实数体系。魏尔斯特拉斯的理 论可归结为递增有界数列极限存在原理；戴论可归结为递增有界数列极限存在原理；戴 德金建立了有名的戴德金分割；康托尔提出德金建立了有名的戴德金分割；康托尔提出 用有理用

24、有理“基本序列基本序列”来定义无理数。来定义无理数。1892年，年， 另一个数学家创用另一个数学家创用“区间套原理区间套原理”来建立实来建立实 数理论。由此，沿柯西开辟的道路，建立起数理论。由此，沿柯西开辟的道路，建立起 来的严谨的极限理论与实数理论，完成了分来的严谨的极限理论与实数理论，完成了分 析学的逻辑奠基工作。析学的逻辑奠基工作。 2021/3/10授课：XXX26 数学分析的无矛盾性问题归纳为实数论的无数学分析的无矛盾性问题归纳为实数论的无 矛盾性，从而使微积分学这座人类数学史上矛盾性，从而使微积分学这座人类数学史上 空前雄伟的大厦建在了牢固可靠的基础之上。空前雄伟的大厦建在了牢固可

25、靠的基础之上。 重建微积分学基础，这项重要而困难的工作重建微积分学基础，这项重要而困难的工作 就这样经过许多杰出学者的努力而胜利完成就这样经过许多杰出学者的努力而胜利完成 了。微积分学坚实牢固基础的建立，结束了了。微积分学坚实牢固基础的建立，结束了 数学中暂时的混乱局面，同时也宣布了第二数学中暂时的混乱局面，同时也宣布了第二 次数学危机的彻底解决。次数学危机的彻底解决。 2021/3/10授课：XXX27 罗素悖论与第三次数学危机罗素悖论与第三次数学危机 2021/3/10授课：XXX28 康托尔康托尔 2021/3/10授课：XXX29 十九世纪下半叶，康托尔创立了著名的集合论，十九世纪下半

26、叶，康托尔创立了著名的集合论， 在集合论刚产生时，曾遭到许多人的猛烈攻击。在集合论刚产生时，曾遭到许多人的猛烈攻击。 但不久这一开创性成果就为广大数学家所接受了，但不久这一开创性成果就为广大数学家所接受了， 并且获得广泛而高度的赞誉。数学家们发现，从并且获得广泛而高度的赞誉。数学家们发现，从 自然数与康托尔集合论出发可建立起整个数学大自然数与康托尔集合论出发可建立起整个数学大 厦。因而集合论成为现代数学的基石。厦。因而集合论成为现代数学的基石。“一切数一切数 学成果可建立在集合论基础上学成果可建立在集合论基础上”这一发现使数学这一发现使数学 家们为之陶醉。家们为之陶醉。1900年，国际数学家大

27、会上，法年，国际数学家大会上，法 国著名数学家庞加莱就曾兴高采烈地宣称：国著名数学家庞加莱就曾兴高采烈地宣称： “借助集合论概念，我们可以建造整个数借助集合论概念，我们可以建造整个数 学大厦学大厦今天，我们可以说绝对的严格性已经今天，我们可以说绝对的严格性已经 达到了达到了” 可是，好景不长。可是，好景不长。1903年，一个震年，一个震 惊数学界的消息传出：集合论是有漏洞的！这就惊数学界的消息传出：集合论是有漏洞的！这就 是英国数学家罗素提出的著名的罗素悖论。是英国数学家罗素提出的著名的罗素悖论。 2021/3/10授课：XXX30 罗素构造了一个集合罗素构造了一个集合S：S由一切不是自身元由

28、一切不是自身元 素的集合所组成。然后罗素问：素的集合所组成。然后罗素问：S是否属于是否属于S 呢？根据排中律，一个元素或者属于某个集呢？根据排中律，一个元素或者属于某个集 合，或者不属于某个集合。因此，对于一个合，或者不属于某个集合。因此，对于一个 给定的集合，问是否属于它自己是有意义的。给定的集合，问是否属于它自己是有意义的。 但对这个看似合理的问题的回答却会陷入两但对这个看似合理的问题的回答却会陷入两 难境地。如果难境地。如果S属于属于S，根据，根据S的定义，的定义，S就就 不属于不属于S；反之，如果；反之，如果S不属于不属于S，同样根据，同样根据 定义，定义，S就属于就属于S。无论如何都

29、是矛盾的。无论如何都是矛盾的。 2021/3/10授课：XXX31罗素罗素 2021/3/10授课：XXX32 其实，在罗素之前集合论中就已经发现了悖其实，在罗素之前集合论中就已经发现了悖 论。如论。如1897年，布拉利和福尔蒂提出了最大年，布拉利和福尔蒂提出了最大 序数悖论。序数悖论。1899年，康托尔自己发现了最大年，康托尔自己发现了最大 基数悖论。但是，由于这两个悖论都涉及集基数悖论。但是，由于这两个悖论都涉及集 合中的许多复杂理论，所以只是在数学界揭合中的许多复杂理论，所以只是在数学界揭 起了一点小涟漪，未能引起大的注意。罗素起了一点小涟漪，未能引起大的注意。罗素 悖论则不同。它非常浅

30、显易懂，而且所涉及悖论则不同。它非常浅显易懂，而且所涉及 的只是集合论中最基本的东西。所以，罗素的只是集合论中最基本的东西。所以，罗素 悖论一提出就在当时的数学界与逻辑学界内悖论一提出就在当时的数学界与逻辑学界内 引起了极大震动。引起了极大震动。 2021/3/10授课：XXX33 如如G.弗雷格在收到罗素介绍这一悖论的信后弗雷格在收到罗素介绍这一悖论的信后 伤心地说：伤心地说：“一个科学家所遇到的最不合心一个科学家所遇到的最不合心 意的事莫过于是在他的工作即将结束时，其意的事莫过于是在他的工作即将结束时，其 基础崩溃了。罗素先生的一封信正好把我置基础崩溃了。罗素先生的一封信正好把我置 于这个

31、境地。于这个境地。”戴德金也因此推迟了他的戴德金也因此推迟了他的 什么是数的本质和作用什么是数的本质和作用一文的再版。可一文的再版。可 以说，这一悖论就象在平静的数学水面上投以说，这一悖论就象在平静的数学水面上投 下了一块巨石，而它所引起的巨大反响则导下了一块巨石，而它所引起的巨大反响则导 致了第三次数学危机。致了第三次数学危机。 2021/3/10授课：XXX34 危机产生后，数学家纷纷提出自己的解危机产生后，数学家纷纷提出自己的解 决方案。人们希望能够通过对康托尔的集合决方案。人们希望能够通过对康托尔的集合 论进行改造，通过对集合定义加以限制来排论进行改造，通过对集合定义加以限制来排 除悖

32、论，这就需要建立新的原则。除悖论，这就需要建立新的原则。“这些原这些原 则必须足够狭窄，以保证排除一切矛盾；另则必须足够狭窄，以保证排除一切矛盾；另 一方面又必须充分广阔，使康托尔集合论中一方面又必须充分广阔，使康托尔集合论中 一切有价值的内容得以保存下来。一切有价值的内容得以保存下来。”1908年，年， 策梅罗在自已这一原则基础上提出第一个公策梅罗在自已这一原则基础上提出第一个公 理化集合论体系，后来经其他数学家改进，理化集合论体系，后来经其他数学家改进， 称为称为ZF系统。这一公理化集合系统很大程度系统。这一公理化集合系统很大程度 上弥补了康托尔朴素集合论的缺陷。上弥补了康托尔朴素集合论的缺陷。 2021/3/10授课：XXX35 除除ZF系统外，集合论的公理系统还有多种，系统外，集合论的公理系统还有多种， 如诺伊曼等人提出的如诺伊曼等人提出的NBG系统等。公理化集系统等。公理化集 合系统的建立，成功排除了集合论中出现的合系统的建立，成功排除了集合论中出现的 悖论，从而比较圆满地解决了第三次数学危悖论，从而比较圆满地解决了第三次数学危 机。但在另一方面，罗素悖论对数学而言有机。但在另一方面，罗素悖论对数学而言有 着更为深刻的影响。它使得数学基础问题第着更为深刻的影响。它使得数学基础问题第 一次以最迫切的需要的姿态摆到数学家面前