数学悖论与三次数学危机 “…古往今来，为数众多的悖论为逻辑思想的发展提供了食粮。” 一一N·布尔巴基 什么是悖论？笼统地说，是指这样的推理过程：它看上去是合理的，但结果 却得出了矛盾。悖论在很多情况下表现为能得出不符合排中律的矛盾命题：由它 的真，可以推出它为假：由它的假，则可以推出它为真。由于严格性被公认为是 因此如果数学中出现悖论会造成对数学可靠性的怀 。如 哭这作论涉及面十分广泛的话，这种冲击波会更为强烈，由此导致的怀疑还 引发人们认识上的普遍危机感。在这种情况下，悖论往往会直接导致“数学危机 的产生。按照西方习惯的说法，在数学发展史上迄今为止出现了三次这样的数学 危机。 希帕素斯悖论与第一次数学危机 希帕索斯悖论的提出与勾股定理的发现密切相关。因此，我们从勾股定理谈 起。勾股定理是欧氏几何中最著名的定理之一。天文学家开普勒曾称其为欧氏几 何两颗璀璨的明珠之一。它在数学与人类的实践活动中有着极其广泛的应用，同 时也是人类最早认识到的平面几何定理之一。在我国，最早的一部天文数学著作 《周雕算经》中就已有了关于这一定理的初步认识。不过，在我国对于勾股定理 的证明却是较迟的事情。 直到三国时期的赵爽才用面积割补给出它的第一种证 明。 在国外，最早给出这一定理证明的是古希腊的毕达哥拉斯。因而国外一般 称之为“毕达哥拉斯定理”。并且据说毕达哥拉斯在完成这一定理证明后欣喜若 狂，而杀牛百只以示庆贺。因此这一定理还又获得了一个带神秘色彩的称号：“百 牛定理” 华达哥拉斯 毕达哥拉斯是公元前五世纪古希腊的著名数学家与哲学家。他曾创立了 个合政治、学术、宗教三位一体的神秘主义派别：毕达哥拉斯学派。由毕达哥拉
数学悖论与三次数学危机 “ „ „ 古 往 今 来 ， 为 数 众 多 的 悖 论 为 逻 辑 思 想 的 发 展 提 供 了 食 粮 。” ——N·布尔巴基 什么是悖论？笼统地说，是指这样的推理过程：它看上去是合理的，但结果 却得出了矛盾。悖论在很多情况下表现为能得出不符合排中律的矛盾命题：由它 的真，可以推出它为假；由它的假，则可以推出它为真。由于严格性被公认为是 数学的一个主要特点，因此如果数学中出现悖论会造成对数学可靠性的怀疑。如 果这一悖论涉及面十分广泛的话，这种冲击波会更为强烈，由此导致的怀疑还会 引发人们认识上的普遍危机感。在这种情况下，悖论往往会直接导致“数学危机” 的产生。按照西方习惯的说法，在数学发展史上迄今为止出现了三次这样的数学 危机。 希帕索斯悖论与第一次数学危机 希帕索斯悖论的提出与勾股定理的发现密切相关。因此，我们从勾股定理谈 起。勾股定理是欧氏几何中最著名的定理之一。天文学家开普勒曾称其为欧氏几 何两颗璀璨的明珠之一。它在数学与人类的实践活动中有着极其广泛的应用，同 时也是人类最早认识到的平面几何定理之一。在我国，最早的一部天文数学著作 《周髀算经》中就已有了关于这一定理的初步认识。不过，在我国对于勾股定理 的证明却是较迟的事情。一直到三国时期的赵爽才用面积割补给出它的第一种证 明。 在国外，最早给出这一定理证明的是古希腊的毕达哥拉斯。因而国外一般 称之为“毕达哥拉斯定理”。并且据说毕达哥拉斯在完成这一定理证明后欣喜若 狂，而杀牛百只以示庆贺。因此这一定理还又获得了一个带神秘色彩的称号：“百 牛定理”。 毕达哥拉斯是公元前五世纪古希腊的著名数学家与哲学家。他曾创立了一 个合政治、学术、宗教三位一体的神秘主义派别：毕达哥拉斯学派。由毕达哥拉
斯提出的著名命题“万物皆数”是该学派的哲学基石。而“一切数均可表成整数 或整数之比”则是这一学派的数学信仰。然而，具有戏剧性的是由毕达哥拉斯建 立的毕达哥拉斯定理知成了毕大哥拉斯学派批学信仰的“据莫人”。些达哥拉斯 定理提出后 其学派中的 个成员希帕素斯考虑 个问题：边长为1的正方形 其对角线长度是多少呢？他发现这一长度既不能用整数，也不能用分数表示，而 只能用一个新数来表示。希帕索斯的发现导致了数学史上第一个无理数√2的诞 生。小小√2的出现，却在当时的数学界撒起了一场巨大风暴。它直接动摇了毕 状哥拉斯学派的数学信仰.使些状哥拉斯学派为之大为慌。实际上，这一伟大 发现不但是对毕达哥拉斯学派的致命打击。对于当时所有古希腊人的观念这都是 个极大的冲击。这一结论的悖论性表现在它与常识的冲突上：任何量，在任何 精确度的范围内都可以表示成有理数。这不但在希腊当时是人们普遍接受的信 仰，就是在今天，测量技术已经高度发展时，这个断言也毫无例外是正确的！可 是为我们的经验所确信的，宗全符合常识的诊新居处被小小、的√2的存在而推翻 了！这应该是多么违反常识， 多么荒谬的事！它简直把以前所 翻了。更糟糕的是，面对这 荒谬人们竞然毫无办法。这就在当时直接导致了 门认识上的危机，从而导致了西方数学史上一场大的风波，史称“第一次数学危 机”。 欧多吉表斯 二百年后，大约在公元前370年，才华横溢的欧多克索斯建立起一套完整 的比例论。他本人的著作己失传，他的成果被保存在欧几里德《几何原本》一书 第五篇由 欧多克索斯的巧妙方法可以避 无理数这一“逻辑上的 闻” 并保 留住与之相关的一些结论，从而解决了由无理数出现而引起的数学危机。但欧多 克索斯的解决方式，是借助几何方法，通过避免直接出现无理数而实现的。这就 生硬地把数和量肢解开来。在这种解决方案下，对无理数的使用只有在几何中是 允许的，合法的，在代数中就是非法的，不合逻辑的。或者说无理数只被当作是 附在门句层上的单纯符县 而不被当作真正的数， 明了基本常数如圆周率是无理数时，拥护无理数存在的人才多起来。到十九世气 下半叶，现在意义上的实数理论建立起来后，无理数本质被彻底搞清，无理数在 数学园地中才真正扎下了根。无理数在数学中合法地位的确立，一方面使人类对 数的认识从有理数拓展到实数，另一方面也真正彻底、圆满地解决了第一次数学 危机。 贝克莱悖论与第二次数学危机
斯提出的著名命题“万物皆数”是该学派的哲学基石。而“一切数均可表成整数 或整数之比”则是这一学派的数学信仰。然而，具有戏剧性的是由毕达哥拉斯建 立的毕达哥拉斯定理却成了毕达哥拉斯学派数学信仰的“掘墓人”。毕达哥拉斯 定理提出后，其学派中的一个成员希帕索斯考虑了一个问题：边长为 1 的正方形 其对角线长度是多少呢？他发现这一长度既不能用整数，也不能用分数表示，而 只能用一个新数来表示。希帕索斯的发现导致了数学史上第一个无理数√2 的诞 生。小小√2 的出现，却在当时的数学界掀起了一场巨大风暴。它直接动摇了毕 达哥拉斯学派的数学信仰，使毕达哥拉斯学派为之大为恐慌。实际上，这一伟大 发现不但是对毕达哥拉斯学派的致命打击。对于当时所有古希腊人的观念这都是 一个极大的冲击。这一结论的悖论性表现在它与常识的冲突上：任何量，在任何 精确度的范围内都可以表示成有理数。这不但在希腊当时是人们普遍接受的信 仰，就是在今天，测量技术已经高度发展时，这个断言也毫无例外是正确的！可 是为我们的经验所确信的，完全符合常识的论断居然被小小的√2 的存在而推翻 了！这应该是多么违反常识，多么荒谬的事！它简直把以前所知道的事情根本推 翻了。更糟糕的是，面对这一荒谬人们竟然毫无办法。这就在当时直接导致了人 们认识上的危机，从而导致了西方数学史上一场大的风波，史称“第一次数学危 机”。 二百年后，大约在公元前 370 年，才华横溢的欧多克索斯建立起一套完整 的比例论。他本人的著作已失传，他的成果被保存在欧几里德《几何原本》一书 第五篇中。欧多克索斯的巧妙方法可以避开无理数这一“逻辑上的丑闻”，并保 留住与之相关的一些结论，从而解决了由无理数出现而引起的数学危机。但欧多 克索斯的解决方式，是借助几何方法，通过避免直接出现无理数而实现的。这就 生硬地把数和量肢解开来。在这种解决方案下，对无理数的使用只有在几何中是 允许的，合法的，在代数中就是非法的，不合逻辑的。或者说无理数只被当作是 附在几何量上的单纯符号，而不被当作真正的数。一直到 18 世纪，当数学家证 明了基本常数如圆周率是无理数时，拥护无理数存在的人才多起来。到十九世纪 下半叶，现在意义上的实数理论建立起来后，无理数本质被彻底搞清，无理数在 数学园地中才真正扎下了根。无理数在数学中合法地位的确立，一方面使人类对 数的认识从有理数拓展到实数，另一方面也真正彻底、圆满地解决了第一次数学 危机。 贝克莱悖论与第二次数学危机
第二次数学危机导源于微积分工具的使用。伴随着人们科学理论与实践认 识的提高，十上世幻几平在同一时期.微积分这一锐利无出的数学丁且为生 莱布尼兹各自独立发现。这一工具一问世，就显示出它的非凡威力。 许许多多 难问题运用这一工具后变得易如翻掌。但是不管是牛顿，还是莱布尼兹所创立的 微积分理论都是不严格的。两人的理论都建立在无穷小分析之上，但他们对作为 基本概念的无穷小量的理解与运用却是混乱的。因而，从微积分诞生时就遭到了 一些人的反对与攻击。其中攻击最猛列的是英用大主教贝克莱。 1734年，贝克莱以“渺小的哲学家”之名出版了一本标题很长的书《分析 学家：或一篇致一位不信神数学家的论文，其中审查 近代分析学的对象、原 则及论断是不是比宗教的神秘、信仰的要点有更清晰的表达，或更明显的推理》 在这本书中，贝克莱对牛顿的理论进行了攻击。例如他指责牛顿，为计算比如说 广的导数，先将x取一个不为0的增量△x,由(x+△2-，得到2 八x+(八)，后面被八x除，得到2x+八x最后突姚今八x=0,求 得导数为2 。这是“依靠双重错误得到了不科学却正确的结果”。因为无穷小 量在牛顿的理论中一会儿说是零， 一会儿又说不是零。因此，贝克莱嘲笑无穷小 量是“已死量的幽灵”。贝克莱的攻击虽说出自维护神学的目的，但却真正抓伊 了牛顿理论中的缺陷，是切中要害的。 数学中上把贝克莱的问颗称之为“贝克莱悖论”。笼统地说，贝克莱悖诊 可以表术为“无穷小量究音是否为0”的问题.就穷小量在当时实：际应用而言 它必须既是0， 又不是0 但从形式逻辑而言，这无疑是 个矛盾 问题的 提出在当时的数学界引起了一定的混乱，由此导致了第二次数学危机的产生 件顿与莱布尼兹 针对贝克莱的攻击，牛顿与莱布尼兹都曾试图通过完善自己的理论来解 决，但都没有获得完全成功。这使数学家们陷入了尴尬境地。一方面微积分在应 用中大获成功，另一方面其自身却存在着逻辑矛后，即贝克莱悖论。这种情况下 对微积分的取舍上到底何去何从呢 “向前进，向前进，你就会获得信念！”达朗贝尔吹起奋勇向前的号角 在此号角的鼓舞下，十八世纪的数学家们开始不顾基础的不严格，论证的不严密 而是更多依赖于直观去开创新的数学领地。于是一套套新方法、新结论以及新分
第二次数学危机导源于微积分工具的使用。伴随着人们科学理论与实践认 识的提高，十七世纪几乎在同一时期，微积分这一锐利无比的数学工具为牛顿、 莱布尼兹各自独立发现。这一工具一问世，就显示出它的非凡威力。许许多多疑 难问题运用这一工具后变得易如翻掌。但是不管是牛顿，还是莱布尼兹所创立的 微积分理论都是不严格的。两人的理论都建立在无穷小分析之上，但他们对作为 基本概念的无穷小量的理解与运用却是混乱的。因而，从微积分诞生时就遭到了 一些人的反对与攻击。其中攻击最猛烈的是英国大主教贝克莱。 1734 年，贝克莱以“渺小的哲学家”之名出版了一本标题很长的书《分析 学家；或一篇致一位不信神数学家的论文，其中审查一下近代分析学的对象、原 则及论断是不是比宗教的神秘、信仰的要点有更清晰的表达，或更明显的推理》。 在这本书中，贝克莱对牛顿的理论进行了攻击。例如他指责牛顿，为计算比如说 x 2 的导数，先将 x 取一个不为 0 的增量 Δ x ，由 (x + Δ x) 2 - x 2 ，得到 2x Δ x + (Δ x 2 ) ，后再被 Δ x 除，得到 2x + Δ x ，最后突然令 Δ x = 0 ，求 得导数为 2x 。这是“依靠双重错误得到了不科学却正确的结果”。因为无穷小 量在牛顿的理论中一会儿说是零，一会儿又说不是零。因此，贝克莱嘲笑无穷小 量是“已死量的幽灵”。贝克莱的攻击虽说出自维护神学的目的，但却真正抓住 了牛顿理论中的缺陷，是切中要害的。 数学史上把贝克莱的问题称之为“贝克莱悖论”。笼统地说，贝克莱悖论 可以表述为“无穷小量究竟是否为 0”的问题：就无穷小量在当时实际应用而言， 它必须既是 0，又不是 0。但从形式逻辑而言，这无疑是一个矛盾。这一问题的 提出在当时的数学界引起了一定的混乱，由此导致了第二次数学危机的产生。 针对贝克莱的攻击，牛顿与莱布尼兹都曾试图通过完善自己的理论来解 决，但都没有获得完全成功。这使数学家们陷入了尴尬境地。一方面微积分在应 用中大获成功，另一方面其自身却存在着逻辑矛盾，即贝克莱悖论。这种情况下 对微积分的取舍上到底何去何从呢？ “向前进，向前进，你就会获得信念！”达朗贝尔吹起奋勇向前的号角， 在此号角的鼓舞下，十八世纪的数学家们开始不顾基础的不严格，论证的不严密， 而是更多依赖于直观去开创新的数学领地。于是一套套新方法、新结论以及新分
支纷纷涌现出来。经过一个多世纪的漫漫征程，几代数学家，包括达朗贝尔、拉 格朗日、贝努力家族、拉普拉斯以及集众家之大成的欧拉等人的努力，数量惊人 前所未有的处女地被开垦出来，微积分理论获得了空前丰富。18世纪有时甚至 被称为“分析的世纪 然而 此同时 八世纪粗糙的， 不亚 密的工作也导致 谬误越来越多的局面，不谐和音的刺耳开始震动了数学家们的神经。下面仅举 无穷级数为例。 无穷级数S=1一1+1一1+1…到底等于什么？ 当时人门认为一方面S=(1一1)+(1一1)+=0：另一方面，S =1411)4（1-1) ,=1,那么岂非0=1？这一矛盾竟使傅立叶 那样的数学家困惑不解，甚至连被后人称之为数学家之英雄的欧拉在此也犯下难 以饶恕的错误。他在得到 1+x+x2+2+.=1/(1-x) 后，令x=一1，得出 S=1-1+1-1+1…=1/21 由此一例，即不难看出当时数学中出现的混乱局面了。问题的严重性在于当 时分析中任何 比较细致的问题，如级数、积分的收敛性 微分积分的换序 高阶微分的使用以及微分方程解的存在性…都几乎无人过问。尤其到十九世纪 初，傅立叶理论直接导致了数学逻辑基础问题的彻底暴露。这样，消除不谐和音， 把分析重新建立在逻辑基础之上就成为数学家们迫在眉睫的任务。到十九世纪， 批判、系统化和严密论证的必要时期降临了。 使分析基础严密化的工作由法国著名数学家柯西迈出了第一大步。柯西于 1821年开始出版了几本具有划时代意义的书与论文。其中给出了分析学一系列 基本概念的严格定义。如他开始用不等式来刻画极限，使无穷的运算化为一系列 不等式的推导。这就是所谓极限概念的“算术化”。后来，德国数学家魏尔斯特 拉斯给出更为完善的我们目前所使用的“ε石”方法。另外，在柯西的努力下， 连续、导数、微分、积分、无穷级数的和等概念也建立在了较坚实的基础上。不
支纷纷涌现出来。经过一个多世纪的漫漫征程，几代数学家，包括达朗贝尔、拉 格朗日、贝努力家族、拉普拉斯以及集众家之大成的欧拉等人的努力，数量惊人 前所未有的处女地被开垦出来，微积分理论获得了空前丰富。18 世纪有时甚至 被称为“分析的世纪”。然而，与此同时十八世纪粗糙的，不严密的工作也导致 谬误越来越多的局面，不谐和音的刺耳开始震动了数学家们的神经。下面仅举一 无穷级数为例。 无穷级数 S＝1－1＋1－1＋1„„„到底等于什么？ 当时人们认为一方面 S＝（1－1）＋（1－1）＋„„„＝0；另一方面，S ＝1＋（1－1）＋（1－1）＋„„„＝1，那么岂非 0＝1？这一矛盾竟使傅立叶 那样的数学家困惑不解，甚至连被后人称之为数学家之英雄的欧拉在此也犯下难 以饶恕的错误。他在得到 1 + x + x 2 + x 3 + ..... = 1/(1- x) 后，令 x = －1，得出 S＝1－1＋1－1＋1„„„＝1／2！ 由此一例，即不难看出当时数学中出现的混乱局面了。问题的严重性在于当 时分析中任何一个比较细致的问题，如级数、积分的收敛性、微分积分的换序、 高阶微分的使用以及微分方程解的存在性„„都几乎无人过问。尤其到十九世纪 初，傅立叶理论直接导致了数学逻辑基础问题的彻底暴露。这样，消除不谐和音， 把分析重新建立在逻辑基础之上就成为数学家们迫在眉睫的任务。到十九世纪， 批判、系统化和严密论证的必要时期降临了。 使分析基础严密化的工作由法国著名数学家柯西迈出了第一大步。柯西于 1821 年开始出版了几本具有划时代意义的书与论文。其中给出了分析学一系列 基本概念的严格定义。如他开始用不等式来刻画极限，使无穷的运算化为一系列 不等式的推导。这就是所谓极限概念的“算术化”。后来，德国数学家魏尔斯特 拉斯给出更为完善的我们目前所使用的“ε -δ ”方法。另外，在柯西的努力下， 连续、导数、微分、积分、无穷级数的和等概念也建立在了较坚实的基础上。不
过，在当时情况下，由于实数的严格理论未建立起来，所以柯西的极限理论还不 可能完善。 柯西之后，魏尔斯特拉斯、戴德金、康托尔各自经过自己独立深入的研究 都将分析基础归结为实数理论，并于七十年代各自建立了自己完整的实数体系 魏尔斯特拉斯的理论可归结为递增有界数列极限存在原理：戴德金建立了有名的 戴德金分割：康托尔提出用有理“基本序列”来定义无理数。1892年，另一个 数学家创用“区间套原理”来建立实数理论。由此，沿柯西开辟的道路，建立起 来的严谨的极限理论与实数理论，完成了分析学的逻辑奠基工作。数学分析的无 矛盾性问题归纳为实数论的无矛盾性，从而使微积分学这座人类数学史上空前雄 伟的大厦建在了牢固可靠的基础之上。重建微积分学基础，这项重要而困难的工 作就这样经过许多杰出学者的努力而胜利完成了。微积分学坚实牢固基础的建 立，结束了数学中暂时的混乱局面，同时也宣布了第二次数学危机的彻底解决。 罗素悖论与第三次数学危机 十九世纪下半叶，康托尔创立了著名的集合论，在集合论刚产生时，曾遭 到许多人的猛烈攻击。但不久这 开创性成果就为 大数学家所接受了，并且获 得广泛而高度的赞誉。数学家们发现，从自然数与康托尔集合论出发可建立起整 个数学大厦。因而集合论成为现代数学的基石。“一切数学成果可建立在集合论 基础上”这一发现使数学家们为之陶醉。1900年，国际数学家大会上，法国著 名数学家庞加莱就曾兴高采烈地宣称：“…借助集合论概念，我们可以建造 整个数学大厦 今天，我们可以说绝对的严格性已经达到了 速托尔 可是，好景不长。1903年，一个震惊数学界的消息传出：集合论是有 漏洞的！这就是英国数学家罗素提出的著名的罗素悖论。 罗素构造了一个集合S:S由一切不是自身元素的集合所组成。然后罗素 问：S是否属于S呢？根据排中律， 一个元素或者属于某个集合，或者不属于某 个集合。因此，对于一个给定的集合，问是否属于它自己是有意义的。但对这个
过，在当时情况下，由于实数的严格理论未建立起来，所以柯西的极限理论还不 可能完善。 柯西之后，魏尔斯特拉斯、戴德金、康托尔各自经过自己独立深入的研究， 都将分析基础归结为实数理论，并于七十年代各自建立了自己完整的实数体系。 魏尔斯特拉斯的理论可归结为递增有界数列极限存在原理；戴德金建立了有名的 戴德金分割；康托尔提出用有理“基本序列”来定义无理数。1892 年，另一个 数学家创用“区间套原理”来建立实数理论。由此，沿柯西开辟的道路，建立起 来的严谨的极限理论与实数理论，完成了分析学的逻辑奠基工作。数学分析的无 矛盾性问题归纳为实数论的无矛盾性，从而使微积分学这座人类数学史上空前雄 伟的大厦建在了牢固可靠的基础之上。重建微积分学基础，这项重要而困难的工 作就这样经过许多杰出学者的努力而胜利完成了。微积分学坚实牢固基础的建 立，结束了数学中暂时的混乱局面，同时也宣布了第二次数学危机的彻底解决。 罗素悖论与第三次数学危机 十九世纪下半叶，康托尔创立了著名的集合论，在集合论刚产生时，曾遭 到许多人的猛烈攻击。但不久这一开创性成果就为广大数学家所接受了，并且获 得广泛而高度的赞誉。数学家们发现，从自然数与康托尔集合论出发可建立起整 个数学大厦。因而集合论成为现代数学的基石。“一切数学成果可建立在集合论 基础上”这一发现使数学家们为之陶醉。1900 年，国际数学家大会上，法国著 名数学家庞加莱就曾兴高采烈地宣称：“„„„借助集合论概念，我们可以建造 整个数学大厦„„今天，我们可以说绝对的严格性已经达到了„„” 可是，好景不长。1903 年，一个震惊数学界的消息传出：集合论是有 漏洞的！这就是英国数学家罗素提出的著名的罗素悖论。 罗素构造了一个集合 S：S 由一切不是自身元素的集合所组成。然后罗素 问：S 是否属于 S 呢？根据排中律，一个元素或者属于某个集合，或者不属于某 个集合。因此，对于一个给定的集合，问是否属于它自己是有意义的。但对这个
看似合理的问题的回答却会陷入两难境地。如果S属于S,根据S的定义，S就 不属于S:反之，如果S不属于S,同样根据定义，S就属于S。无论如何都是矛 盾的。 罗茶 其实，在罗素之前集合论中就己经发现了悖论。如1897年，布拉利和 福尔蒂提出了最大序数悖论。1899年，康托尔自己发现了最大基数悖论。但是， 由于这两个论都涉及集合中的许多复杂理论，所以只是在数学界揭起了一点小 涟漪，未能引起大的注意。罗素悖论则不同。它非常浅显易懂 而且所涉及的牙 是集合论中最基本的东西。所以，罗素悖论一提出就在当时的数学界与逻辑学界 内引起了极大震动。如G.弗雷格在收到罗素介绍这一悖论的信后伤心地说：“ 个科学家所遇到的最不合心意的事莫过于是在他的工作即将结束时，其基础崩溃 了。罗者先生的一封信正把我干这个培地。”款金巾因出推识了他的《什 么是数的本质和作用》 文的再版 可以说， 这一悖论就象 在平静的数学水面上 投下了一块巨石，而它所引起的巨大反响则导致了第三次数学危机。 危机产生后，数学家纷纷提出自己的解决方案。人们希望能够通过对康托 尔的集合论进行改造，通过对集合定义加以限制来排除悖论，这就需要建立新的 原“这些原训必须足铭独窄，以保证排除一切矛居， 另一方面又必须充分厂 阔，使康托尔集合论中一切有价值的内容得以保存下来。”1908年，策梅罗 自己这一原则基础上提出第 公理化集合论体系，后来经其他数学家改进，称 为ZF系统。这一公理化集合系统很大程度上弥补了康托尔朴素集合论的缺陷。 除ZF系统外，集合论的公理系统还有多种，如诺伊曼等人提出的NBG系统等。 公理化集合系统的建立，成功排除了集合论中出现的悖论，从而比较圆满地解决 了第三次数学危机。但在另一方面，罗素悖论对数学而言有着更为深刻的影响 它使得数学 础问题第 次以最迫 切的而要的安念摆到效号 家面前 导致 数 家对数学基础的研究。而这方面的进一步发展又极其深刻地影响了整个数学。 围绕着数学基础之争，形成了现代数学史上著名的三大数学流派，而各派的工作 又都促进了数学的大发展等等
看似合理的问题的回答却会陷入两难境地。如果 S 属于 S，根据 S 的定义，S 就 不属于 S；反之，如果 S 不属于 S，同样根据定义，S 就属于 S。无论如何都是矛 盾的。 其实，在罗素之前集合论中就已经发现了悖论。如 1897 年，布拉利和 福尔蒂提出了最大序数悖论。1899 年，康托尔自己发现了最大基数悖论。但是， 由于这两个悖论都涉及集合中的许多复杂理论，所以只是在数学界揭起了一点小 涟漪，未能引起大的注意。罗素悖论则不同。它非常浅显易懂，而且所涉及的只 是集合论中最基本的东西。所以，罗素悖论一提出就在当时的数学界与逻辑学界 内引起了极大震动。如 G.弗雷格在收到罗素介绍这一悖论的信后伤心地说：“一 个科学家所遇到的最不合心意的事莫过于是在他的工作即将结束时，其基础崩溃 了。罗素先生的一封信正好把我置于这个境地。”戴德金也因此推迟了他的《什 么是数的本质和作用》一文的再版。可以说，这一悖论就象在平静的数学水面上 投下了一块巨石，而它所引起的巨大反响则导致了第三次数学危机。 危机产生后，数学家纷纷提出自己的解决方案。人们希望能够通过对康托 尔的集合论进行改造，通过对集合定义加以限制来排除悖论，这就需要建立新的 原则。“这些原则必须足够狭窄，以保证排除一切矛盾；另一方面又必须充分广 阔，使康托尔集合论中一切有价值的内容得以保存下来。”1908 年，策梅罗在 自已这一原则基础上提出第一个公理化集合论体系，后来经其他数学家改进，称 为 ZF 系统。这一公理化集合系统很大程度上弥补了康托尔朴素集合论的缺陷。 除 ZF 系统外，集合论的公理系统还有多种，如诺伊曼等人提出的 NBG 系统等。 公理化集合系统的建立，成功排除了集合论中出现的悖论，从而比较圆满地解决 了第三次数学危机。但在另一方面，罗素悖论对数学而言有着更为深刻的影响。 它使得数学基础问题第一次以最迫切的需要的姿态摆到数学家面前，导致了数学 家对数学基础的研究。而这方面的进一步发展又极其深刻地影响了整个数学。如 围绕着数学基础之争，形成了现代数学史上著名的三大数学流派，而各派的工作 又都促进了数学的大发展等等
以上简单介绍了数学史上由于数学悖论而导致的三次数学危机与度过， 从中我们不难看到数学悖论在推动数学发展中的巨大作用。有人说：“提出问题 就是解决问题的一半” 而数学悖论提出的正是让数学家无法回避的问题。它对 数学家说： “解决我，不然我将吞掉你的体系！”正如希尔伯特在（论无限》 文中所指出的那样：“必须承认，在这些悖论面前，我们目前所处的情况是不能 长期忍受下去的。人们试想：在数学这个号称可靠性和真理性的模范里，每一个 人所学的、教的和应用的那些概念结构和推理方法竟会导致不合理的结果。如果 甚至于数学思考也失灵的话，那么应该到哪里去寻找可靠性和真理性呢？”悖论 的出现逼迫数学家投入最大的热情去解决它。而在解决悖论的过程中 各种理 应运而生了：第一次数学危机促成了公理几何与逻辑的诞生：第二次数学危机促 成了分析基础理论的完善与集合论的创立：第三次数学危机促成了数理逻辑的发 展与一批现代数学的产生。数学由此获得了蓬物发展，这或许就是数学悖论重要 意义之所在吧。 (作者：韩雪涛)
以上简单介绍了数学史上由于数学悖论而导致的三次数学危机与度过， 从中我们不难看到数学悖论在推动数学发展中的巨大作用。有人说：“提出问题 就是解决问题的一半”，而数学悖论提出的正是让数学家无法回避的问题。它对 数学家说：“解决我，不然我将吞掉你的体系！”正如希尔伯特在《论无限》一 文中所指出的那样：“必须承认，在这些悖论面前，我们目前所处的情况是不能 长期忍受下去的。人们试想：在数学这个号称可靠性和真理性的模范里，每一个 人所学的、教的和应用的那些概念结构和推理方法竟会导致不合理的结果。如果 甚至于数学思考也失灵的话，那么应该到哪里去寻找可靠性和真理性呢？”悖论 的出现逼迫数学家投入最大的热情去解决它。而在解决悖论的过程中，各种理论 应运而生了：第一次数学危机促成了公理几何与逻辑的诞生；第二次数学危机促 成了分析基础理论的完善与集合论的创立；第三次数学危机促成了数理逻辑的发 展与一批现代数学的产生。数学由此获得了蓬勃发展，这或许就是数学悖论重要 意义之所在吧。 (作者: 韩雪涛)