整个数学发展史一共诞生了三次数学史，可谓是环环相扣，毕达哥拉斯学派的希帕索斯发现了无理数，直接对一切数均可表成整数或整数之比的思想观念造成了冲击，在长达 2000 年的时间里，数学家都刻意回避无理数存在的事实。

而牛顿在创造微积分的时候，则引发了第二次数学危机，牛顿对于导数的定义并不太严密，比如说

x2 的导数,先将 x 取一个不为0的增量 Δx ,由 (x + Δx)^2 - x^2 ,得到 2xΔx + (Δx) ^2,后再被 Δx

除,得到 2x + Δx ,最后突然令 Δx = 0 ,求得导数为 2x

。我们知道这个结果是正确的，但是推导过程确实存在着明显的偷换假设的错误：在论证的前一部分假设Δx是不为0的，而在论证的后一部分又被取为0。那么到底是不是0呢？

除此之外，牛顿微积分把“无穷小量看作不为零的有限量而从等式两端消去，而有时却又令无穷小量为零而忽略不计”的漏洞引发了一个这样的问题：就无穷小量在当时实际应用而言,它必须既是0,又不是0.但从形式逻辑而言,这无疑是一个矛盾。牛顿后来也未能自圆其说。

两大数学危机的实质其实都是因为实数体系的不完善所导致的。所以魏尔斯特拉斯等人发起了“分析算术化”运动。

魏尔斯特拉斯认为实数是全部分析的本源。要使分析严格化，首先就要使实数系本身严格化。为此最可靠的办法是按照严密的推理将实数归结为整数(有理数)。这样，分析的所有概念便可由整数导出，使以往的漏洞和缺陷都能得以填补。这就是所谓“分析算术化”纲领。

在魏尔斯特拉斯“分析算术化”运动的引领下，戴德金、康托尔包括魏尔斯特拉斯都提出了自己的实数理论。

1872年，德国数学家戴德金从连续性的要求出发，用有理数的“分割”来定义无理数，并把实数理论建立在严格的科学基础上，他将一切有理数的集合划分为两个非空且不相交的子集A和A'，使得集合A中的每一个元素小于集合A'中的每一个元素。集合A称为划分的下组，集合A'称为划分的上组，并将这种划分记成A|A'。戴德金把这个划分定义为有理数的一个分割，在这里面，戴德金从有理数扩展到实数，建立起无理数理论及连续性的纯算术的定义。

戴德金分割定理推算过程

康托尔也通过有理数序列理论完成了同一目标，康托尔和戴德金都是将实数定义为有理数的某些类型的“集合”。戴德金方法可以称为序完备化方法，康托尔方法可以称为度量完备化方法。这些方法在近现代数学中都已成为典型的构造方法，被后人不断推广发展成为数学理论中的有力工具。

康托尔的有理数序列理论

维尔斯特拉斯发表了有界单调序列理论，有理数基本列是先假定实数的完备性，再根据有理数列的极限来定义有理数无理数。有很多有理数列，他们自己是基本列，但在有理数系内没有极限，所以有了定义：如果一基本列收敛到有理数时，则称它为有理基本列；如果一基本列不收敛到任何有理数或者收敛空了时，则称它为无理基本列。有理基本列定义的是有理数，无理基本列定义的是无理数。

有界单调序列理论求证过程

实数的这三大派理论证明了实数系的完备性。实数的定义及其完备性的确立标志着由魏尔斯特拉斯倡导的分析算术化运动大致宣告完成。这样长期以来围绕着实数概念的逻辑循环得以彻底消除，实数体系的建立也标志着代数彻底摆脱几何的阴霾。

因为实数体系的建立，数学界甚至整个科学界笼罩在一片喜悦祥和的气氛之中，科学家们普遍认为，数学的系统性和严密性已经达到，科学大厦已经基本建成，然而这话却却最终惨遭打脸。

魏尔斯特拉斯“分析算术化”运动虽然一次性地解决了数学史两大危机，但是却也引发了第三次数学危机，这场数学危机持续至今，让整个数学大厦岌岌可危。

在此次运动中，1873年11月29日康托尔在给戴德金的一封信中表示，终于把导致集合论产生的问题明确地提了出来：正整数的集合（n）与实数的集合（x）之间能否把它们一一对应起来。同年12月7日，康托尔写信给戴德金，说他已能成功地证明实数的“集体”是不可数的，也就是不能同正整数的“集体”一一对应起来。这一天应该看成是集合论的诞生日。

简单的集合知识

康托尔创立的集合论可以说是数学的一个基本的分支学科，研究对象是一般集合。集合论在数学中占有一个独特的地位，它的基本概念已渗透到数学的所有领域。集合论或集论是研究集合（由一堆抽象物件构成的整体）的数学理论，包含了集合、元素和成员关系等最基本的数学概念。简单的集合知识我们在高中的时候就已经接触，大家可以简单回忆一下。

集合论是从一个物件o和集合A之间的二元关系开始：若o是A的元素，可表示为o∈A。由于集合也是一个物件，因此上述关系也可以用在集合和集合的关系。另外一种二个集合之间的关系，称为包含关系。若集合A中的所有元素都是集合B中的元素，则称集合A为B的子集，符号为A?B。例如{1,2}

是{1,2,3} 的子集，但{1,4} 就不是{1,2,3}

的子集。依照定义，任一个集合也是本身的子集，不考虑本身的子集称为真子集。集合A为集合B的真子集当且仅当集合A为集合B的子集，且集合B不是集合A的子集。

数的算术中有许多一元及二元运算，集合论也有许多针对集合的一元及二元运算。

而集合论中元素也有三大特性：确定性、互异性、无序性。首先集合中的元素必须是确定的，例如{我们公司帅的男生}这就不是一个集合,因为帅的定义不同,有些人认为威猛是帅，有些人认为柔弱是帅，所以元素不确定；集合中的元素必须是互不相同的

，例如{5,6}是一个集合,但是不能表示为{5,6,5}，这就是互异性；{1,2,4}和{4,2,1}是同一个集合，这就是集合的无序性，因为集合中的元素是不存在顺序的。

康托尔

数学家们发现，从自然数与康托尔集合论出发可建立起整个数学大厦。因而集合论成为现代数学的基石。

1900年国际数学家大会上，法国著名数学家庞加莱就曾兴高采烈地宣称：“……借助集合论概念，我们可以建造整个数学大厦……今天，我们可以说绝对的严格性已经达到了……”。这一发现使数学家们为之陶醉。

可惜才过了 3 年，也就是 1903 年的时候，罗素却发现了集合论存在的问题，罗素是西方罕见的文理兼修的全才，是著名的英国哲学家、数学家、逻辑学家、历史学家、文学家。他曾和哥廷根学派的领袖希尔伯特围绕数学的哲学基础问题引发了一场“数学是什么”的论战。

罗素认为“数学即逻辑”，而希尔伯特则提出了形式主义的主张，主张数学思维的对象就是数学符号本身。两个人涉及的论战就包含了集合论。

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

而罗素悖论的大白话版本也就是著名的理发师悖论：在某个城市中有一位理发师，他的广告词是这样写的：“本人的理发技艺十分高超，誉满全城。我将为本城所有不给自己刮脸的人刮脸，我也只给这些人刮脸。我对各位表示热诚欢迎！”来找他刮脸的人络绎不绝，自然都是那些不给自己刮脸的人。可是，有一天，这位理发师从镜子里看见自己的胡子长了，他本能地抓起了剃刀，你们看他能不能给他自己刮脸呢？如果他不给自己刮脸，他就属于“不给自己刮脸的人”，他就要给自己刮脸，而如果他给自己刮脸呢？他又属于“给自己刮脸的人”，他就不该给自己刮脸。

这就是数学史赫赫有名的“一个理发师冲进了大厦，把整个大厦搞了个天翻地覆，甚至直接动摇了整个数学大厦的地基。而至今为止，也依然没有人把这个理发师请出去”事件。

如果是第一次、第二次数学危机仅仅影响的是整个数学大厦的建造问题，那么第三次数学大厦直接动摇的是整个地基，因为涉及的是数学基础问题。

因为罗素悖论只涉及最基本的集合论概念：集合，元素，属于和概括原则，它的构成十分清楚明白。这个悖论的出现说明以往的朴素集合论中包含矛盾，因而以集合论为基础的整个数学就不能没有矛盾。这个悖论也同时说明数学中采用的逻辑也不是没有问题的。数学上的第三次危机使数学界和逻辑学界都感到问题的严重性。

由此引发的许多悖论

罗素悖论表明不能无条件承认概括原则，然而概括原则的改变将使集合论大为改观，因此对整个数学的影响是巨大的。简单来说，承认无穷集合，承认无穷基数，看起来悖论可以消除，矛盾可以解决，然而数学的确定性却在一步一步地丧失。这就是问题的矛盾所在。

罗素的问题直接让许多的数学家的一辈子工作都毁于一旦，德国的著名逻辑学家弗雷格在他的关于集合的基础理论完稿付印时，收到了罗素关于这一悖论的信。他立刻发现，自己忙了很久得出的一系列结果却被这条悖论搅得一团糟。他只能在自己著作的末尾写道：“一个科学家所碰到的最倒霉的事，莫过于是在他的工作即将完成时却发现所干的工作的基础崩溃了”。这的确让人倍感无奈，即使我们对于逻辑的数学化建设耗费了如此巨大的精力，我们得出的很多结论仍然不是严密的，可能会有漏洞。

当然了，修补工作也在轰轰烈烈地进行，如果要解决这次危机就必须要建立一个一套更加严密的解决办法才能将这些矛盾统一在一起。

最有名的就是策梅洛-弗兰克尔公理系统。在1908

年，恩斯特·策梅洛提议了第一个公理化集合论——策梅洛集合论。这个公理化理论不允许构造序数；而多数“普通数学”不使用序数就被不能被开发，序数在多数集合论研究中是根本工具。此外，策梅洛的一个公理涉及“明确性”性质的概念，它的操作性意义是有歧义的。

所以后来通过弗兰克尔的改进后被称为策梅洛-弗兰克尔公理系统。在该公理系统中，由于分类公理：P(x)是x的一个性质，对任意已知集合A，存在一个集合B使得对所有元素x∈B当且仅当x∈A且P(x)；因此{x∣x是一个集合}并不能在该系统中写成一个集合，由于它并不是任何已知集合的子集；并且通过该公理，存在集合A={x∣x是一个集合}在ZF系统中能被证明是矛盾的。

总而言之，就是策梅洛-弗兰克尔公理系统严格规定了一个集合存在的条件（简单地说，存在一个空集【空集公理】；每个集合存在幂集【幂集公理】；每个集合里所有的集合取并也形成集合【并集公理】；每个集合的满足某条件的元素构成子集【子集公理】；一个”定义域“为A的”函数“存在“值域”【替换公理】等），这样无法定义出悖论中的集合。因此罗素悖论在该系统中被避免了。

但是它并没有从数学的整个基本结构的有效性问题上解决问题，从而从数学的基础性上对整个数学大厦进行修补，数学基础和数理逻辑的许多重要课题还未能从根本上得到解决，所以还存在一定的缺陷，100多年过去了，危机还在持续，数学大厦的地基什么时候才能被夯实，如今看来，还有很远的路要走。

不过，第三次数学危机对整个数学界的发展无疑是起到了巨大的推动作用的，促进了数学基础理论的研究，促进了哥德尔不完全性定理的诞生，也推动了数理逻辑的发展，可以说每次危机的产生就像是一个聚宝盆的诞生，为数学带来新的内容，新的进展，甚至引起革命性的变革。

第一次数学危机

“万物皆数”是古希腊毕达哥拉斯学派坚不可摧的信仰。所谓“万物皆数”就是指任何的实数都可以表示为两个整数的比值。然而学派引以为傲的毕达哥拉斯定理（也就是我国俗称的勾股定理）却恰恰成了其信仰的终结者。

毕达哥拉斯学派中的一个“好事之徒希伯斯（Hippasu）对学派坚守的“万物皆数”首先表示了怀疑。他思考了一个问题：边长为1的正方形其对角线有多长呢？一番思索演算之后，他发现这一长度既不是整数，也不是分数，“万物皆数”的信仰就此崩塌。相传恼羞成怒的学派成员将希伯斯淹死在了海里，真理不仅没有给他荣誉反而招致杀身之祸，可悲亦可叹！

自被希伯斯发现之后，√2这个数学史上的第一个无理数便登上了舞台。然而这一发现不但是对毕达哥拉斯学派的致命打击，对于当时所有古希腊人的观念都是巨大的冲击。更为恼火的是，面对这一打击，人们手足无措，于是便直接导致了人们认识上史无前例的危机，从而导致了西方数学史上一场浩大的风波，史称“第一次数学危机”。

第二次数学危机

自微积分被发明之后，质疑之声就从未消停过。相当长的时间内，数学界对“无穷小”这一概念的理解和使用都是非常混乱的，但微积分理论的基础却恰恰就是“无穷小分析”。

这一理论上的缺陷招致了巨大的抨击，英国大主教更是直接称“无穷小”为盘旋的幽灵。如果这一危机无法解除，那无数由微积分理论所获得的成果都将遭受无情的质疑。这也就是数学史上的第二次危机。

转机出现在柯西，魏尔斯特拉斯等人用极限的方法定义无穷小量之后，这时微积分理论经过发展和完善才真正具有了严格的理论基础，从而使得数学大厦变得更加坚实牢固可靠，危机便也解除。

第三次数学危机

“数学狂人”康托一手所发展的集合论作为现代数学的基础早已是数学界的共识。然而在1903年，集合论被发现是有漏洞的！这一发现就像在平静的水面上投下了一块巨石，它所引起的巨大反响则导致了第三次数学危机。英国数学家罗素就是这一危机的“始作俑者”。

罗素构造了一个集合S：S由一切不是自身元素的集合所组成。之后罗素提出问题：S是否属于S呢？根据逻辑学上的排中律，一个元素或者属于某个集合，或者不属于某个集合。但对这个看似合理的问题的回答却会陷入两难境地。

如果S属于S，根据S的定义，S就不属于S；反之，如果S不属于S，同样根据S的定义，S就属于S。所以无论如何都会产生矛盾！一时间，数学家为之恐慌，看似数学大厦即将樯倾楫摧不复存焉。第三次数学危机便自此爆发。

但顽强的数学家不会就此罢手，他们希望通过改造康托的集合论以便消除悖论。1908年，策梅罗提出了第一个公理化集合论体系，后来经其他数学家改进，称之为ZF系统。这一公理化集合系统很大程度上弥补了康托尔朴素集合论的缺陷，然而也并非完美无瑕。

除ZF系统外，集合论的公理系统还有多种，如诺伊曼等人提出的NBG系统等。相关的改进工作时至今日也为停下脚步。

总结来说，三次数学危机就是关于无理数，无穷小，罗素悖论的危机。但“危机”恰正好是“生机”，三次数学危机极大地促进了数学的严格化发展，使之成为了真正严谨的科学。

---