从1894年到1908年，皮亚诺接连五次出版了《数学论集》的续集，每一次都把他提出的五个公理(只是用0代1)作为算术的基础。但是皮亚诺除了逻辑符号之外，还有其他三个基本符号，即：数、零、后继。因此，他还不象弗雷格及罗素那样把数完全建立在逻辑基础上。
他的公理系统也是有毛病的,特别是第五公理涉及所有性质，因此须要对性质或集合有所证明。有人把它改为可数条公理的序列，这样一来，由公理系所定义的就不单纯是自然数了。斯科兰姆在1934年证明，存在皮亚诺公理系统购非标准模型，这样就破坏了公理系统的范畴性。
3.3 其他数学对象的公理化
在十九世纪末到二十世纪初的公理化浪潮中，一系列数学对象进行了公理化，这些公理化一般在数学中进行。例如由于解代数方程而引进的域及群的概念，在当时都是十分具体的，如置换群。只有到十九世纪后半叶，才逐步有了抽象群的概念并用公理刻划它。群的公理由四条组成，即封闭性公理、两个元素相加(或相乘)仍对应唯一的元素、运算满足结合律、有零元素及逆元素存在。
群在数学中是无处不在的，但是抽象群的研究一直到十九世纪末才开始。当然，它与数理逻辑有密切的关系。有理数集体、实数集体、复数集体构成抽象域的具体模型，域的公理很多。另外，环、偏序集合、全序集合、格、布尔代数，都已经公理化。
另一大类结构是拓扑结构，拓扑空间在1914年到1922年也得到公理化，泛函分析中的希尔伯特空间，巴拿赫空间也在二十年代完成公理化，成为二十世纪抽象数学研究的出发点。在模型论中，这些数学结构成为逻辑语句构成理论的模型。
第三章：悖论及其解决方案
1、一连串悖论的出现
罗素的悖论以其简单明确震动了整个数学界，造成第三次数学危机。但是，罗素悖论并不是头一个悖论。老的不说，在罗素之前不久，康托尔和布拉里·福蒂已经发现集合论中的矛盾。罗素悖论发表之后，更出现了一连串的逻辑悖论。这些悖论使入联想到古代的说谎者悖论。即“我正在说谎”，“这句话是谎话”等。这些悖论合在一起，造成极大问题，促使大家都去关心如何解决这些悖论。
头一个发表的悖论是布拉里·福蒂悖论，这个悖论是说，序数按照它们的自然顺序形成一个良序集。这个良序集合根据定义也有一个序数Ω，这个序数Ω由定义应该属于这个良序集。可是由序数的定义，序数序列中任何一段的序数要大于这段之内的任何序数，因此
16
Ω应该比任何序数都大，从而又不属于Ω。这是布拉里·福蒂1897年3月28日在巴洛摩数学会上宣读的一篇文章里提出的。这是头一个发表的近代悖论，它引起了数学界的兴趣，并导致了以后许多年的热烈讨论。有几十篇文章讨论悖论问题，极大地推动了对集合论基础的重新审查。
布拉里·福蒂本人认为这个矛盾证明了这个序数的自然顺序只是一个偏序，这与康托尔在几个月以前证明的结果序数集合是全序相矛盾，后来布拉里·福蒂在这方面并没有做工作。
罗素在他的《数学的原理》中认为，序数集虽然是全序，但并非良序，不过这种说法靠不住，因为任何给定序数的初始一段都是良序的。法国逻辑学家茹尔丹找到—条出路，他区分了相容集和不相容集。这种区分实际上康托尔已经私下用了许多年了。不久之后，罗素在1905年一篇文章中对于序数集的存在性提出了疑问，策梅罗也有同样的想法，后来的许多人在这个领域都持有同样的想法。
布拉里·福蒂文章中对良序集有一个错误的概念，这个概念是康托尔1883年引进来的，但—直没有受到什么重视。1887年8月，在布拉里·福蒂的文章发表以后，阿达马在第一次国际数学家大会上仍然给出了一个错误的良序集的定义。因为布拉里．福蒂所考虑的关于良序集的概念太弱了，他不得不引进自己的完全序。这两个概念并不一致，每一个良序集是完全序集，但是反过来不对。布拉里·福蒂很快就认识到他的错误，他在1897年10月的一篇文章中指出这两个概念的不同，但是他没有重新检查自己的证明。一直到1906年初他给库图拉的—封信中，他似乎还认为：一旦良序集和完全序集的区别被人们认识到，在他的文章中揭示的矛盾就会消除。
康托尔1899年7月28日给戴德金的信中，谈到布拉里·福蒂所提到的矛盾，这个矛盾并没有导致康托尔放弃集合的良序性，而放弃了它的集合性。他把集合分为两类：相容集合和不相容集合，而只把前者叫做集合。这种区分法预示了冯·诺依曼在1925年引进的集合和类的区别。但是康托尔对于这种区分的判断标准仍然是不精确的。如果我们把一个集体考虑为一个对象而没有矛盾，它是一个集合。这个想法后来改进为：当一个集体是另一个集体的元素，它是一个集合。
这种相容集体和不相容集体的区别早已被施罗德引进来。他认为如果集体的元素彼此是相容的，它是相容的；而如果集体的元素彼此是不相容的，它是不相容的。有趣的是施罗德引进的这种区分和悖论没有关系，因为这种现代形式的悖论当时还不知道。康托尔关于集体的叙述——两个等价的集体或者都是集合，或者都是不相容的，可以看成是取代公理的最早的表述。这个公理是弗兰克尔和斯科兰姆在1922年提出的。
布拉里·福蒂的悖论揭示了康托尔集合论的矛盾。其实，康托尔本人在这之前已经意识到集合论的内在矛盾。他在1899年7月28日给戴德金的信中指出，不能谈论由一切集合构成的集合，否则就会陷入矛盾。这实际上就是罗素悖论的内容。
康托尔最大基数悖论和布拉里·福蒂悖论到罗素悖论都是集合论悖论，它们直接同康托尔朴素集合论的不严格性有关。毛病出在集合的定义上，也就是任何性质就对应一个具有这
17
种性质的集合，这就是所谓内函公理组。集合论的这种矛盾必须通过削弱这个错误的公理组才能解决。
罗素的悖论发表之后，接着又发现一系列悖论（后来归入所谓语义悖论）：
1、理查德悖论。法国第戎中学教师理查德在1905年发表了一个悖论，大意如下：法语中某些片语表示实数，比如“一个圆的圆周与直径之比”就表示实数π。法语字母也象英语字母一样有一定的顺序，所以我们可以把所有片语按照字母顺序排列，然后按照片语中字母的多少排列，少的在前，多的在后。这样我们把能用片语表达的实数排成一个序列，al，a2，a：，??。于是就得到了所有能用有限多字(字母)定义的数了。它们构成了一个可数集合E。现在我们提出一个规则把这个序列改变一下造成一个数来：“设E中第n个数的第n位为p，我们造一个实数如下：其整数部分为0，如果p不是8或9；其第n位小数为p＋1，要是p是8或9的话，则第n位变成1”。这个实数显然不属于E，因为它和E中每个数都不一样。但是它们却可以由上面有限多个字组成的话来表示，因此应该属于E，这就出现矛盾。
理查德提出的悖论是因为看到法国《纯粹科学与应用科学通论》1905年3月30日一期的编者按语而写的。编者谈到，1904年8月在德国海德尔堡召开的国际数学家大会上，德国数学家寇尼格证明连续统是不能够良序化的。可是一个月后，德国数学家策梅罗却证明了任何集合都能良序化，理查德从这段话中看到了集合论中存在“某些矛盾”，这些矛盾和良序性和序数的概念有关系，于是他给该刊物编辑部写了一封信，登在1905年6月号上，编者还加了按语。
2、培里悖论。培里是英国的图书馆管理员。有一天他告诉罗素下面的悖论：英语中只有有限多个音节，只有有限多英语表达式包含少于40个音节，所以，用少于40个音节的表达式表示的正数数目只有有限多个。假设R为不能由少于40个普的英语表达式来表示的最小正整数(The least positive integer which is not denotedby an expression in the English language containing fewer than forty syllables)。但是，这段英语只包含三十几个音节，肯定比40个少，而且表示R，这自然产生了矛盾。
3．格瑞林和纳尔逊悖论。纳尔逊是新康德主义的小流派之一弗瑞斯派的代表。1908年他和他的学生格瑞林把下面的悖论发表在弗瑞斯派的一个文集上，通常称为格瑞林悖论。如果一个形容词所表示的性质适用于这个形容词本身，比如“黑的”两字的确是黑的，那么这个形容词称为自适用的。反之，一个形容词如果不具有自适用的性质，就叫做非自适用的。在英语中：“Polysyllabic”(多音节的)，“English”(英语的)这些词都是自适用的形容词，而“monosyllabic”(单音节的)、“French”(法语的)这些词就是非自适用的。现在我们来考虑“非自适用的”这个形容词，它是自适用的还是非自适用的呢？如果“非自运用的”是非自适用的，那么它就是自适用的；如果“非自适用的”是自适用的，那么按照这词的意思，则它是非自适用的，这就导出矛盾。
2、悖论动摇了整个数学的基础
18
1900年左右，数学已经发展成为一个庞大的领域了。当时纯数学大致分为算术—代数、几何和数学分析。随着第二次数学危机的解决，数学分析建立在极限理论基础上。而极限理论中，有些基本性质要由“单调有界的数列必有极限”这个定理来证明。这个定理从直观上看尽管很明显，但是追求严密性的数学家很早就要求不靠直观而靠逻辑来证明，要求一切定理都从比较简单的公理推导出来。
要推导极限的性质，必须对数列有明确的概念。这里的数不只是有理数，还包括无理数，这两种数构成实数的集合。所以，当务之急就是建立起严格的“实数”理论。戴德金在1872年发表了《这续性与无理数》这本专著，同年康托尔也发表实数理论的文章。康托尔通过一定的有理数序列(基本序列)来定义实数。而戴德金则利用有理数集合的分割来定义实数。他们的理论虽然逻辑上可靠，但是都不太自然，依赖于有理数的集合概念。这样一来，实数理论的无矛盾性就归结为有理数论，进而归结成自然数论的无矛盾性了。
自古以来，大家都认为自然数的算术是天经地义、不容怀疑的。不过有些数学家如弗雷格和戴德金又进一步把自然数归结为逻辑与集合论。这样一来，集合论与逻辑成为整个数学的基础。罗素悖论一出现，集合论靠不住了，自然数的算术也成问题，这样一来，整个数学大厦都动摇了。无怪乎弗雷格在收到罗素的信之后，在他刚要出版的《算术的基本法则》第二卷末尾写道：“一位科学家不会碰到比这更难堪的事情了，即在工作完成之时，它的基础跨掉了。当本书等待付印的时候，罗素先生的一封信把我置于这种境地”。戴德金原来打算把《连续性及无理数》第三版付印，这时也把稿件抽了回来。他也觉得由于罗素悖论，整个数学的基础都靠不住了。
悖论涉及的是集合、属于、所有(全部)性质与集合的对应关系、无穷这些最基本的概念。这些：概念在数学中是天天必须用到的。如果不加以澄清，在数学证明的过程中，不是这里就是那里就会出毛病。
有了毛病，有的人就主张把集合论全盘推倒，只考虑有限的东西，这样不仅把数学内容砍掉了一大半，而且无穷的问题仍会出现。另一部分人则主张限制这些概念的使用范围，当然限制太多了，就缩小了数学领域，而限制太少了又会出现矛盾，所以要在这两者之间找到一种最好的解决办法。从二十世纪初，人们就一直在找，虽然并没有得到最终满意的解决，不过给数学提供一个可靠的基础还是可以办得到的。
3、罗素的类型论
1901年6月罗素发现了“悖论”。他在1902年6月16日把这个悖论告诉了弗雷格。他在1903年出版的《数学的原理》中，有一段可能是在1901年写的，他写道：“作为多的类与类的项具有不同的类型”；“整个秘密的关键是逻辑类型的不同”。对这个问题的解决，他只写了不到三十行。他还考查了其他的解决办法，觉得它们都不令人满意，于是得出结论：“没有适当的哲学涉及到上述的矛盾，这些矛盾直接从常识中得出，也只能通过抛弃掉某些常识的假定而解决”。但是在这本书出版之前，罗素感觉到这个题目还应该更加注意，于是
19
他写了大约六页的一个附录，“尝试性地提出了类型论”，他要求在回答所有问题之前变成为更加精致的形式。自然，当时罗素已经知道其他的悖论了，例如布拉里·福蒂悖论和最大基数悖论。
大约1905年12月，罗素抛弃了类型论。为了克服由悖论引起的困难，他提出了三种理论：1、曲折理论，命题函数非常简单时才决定类，而当它们复杂时就不能决定类；2、限制大小的理论，不存在象所有实体的类的东西；3、非类理论，类和关系完全都禁用。这篇文章甚至投有提到类型论。1906年2月5日，罗素在这篇文章末尾加了一个注：“通过更进一步的研究，我一点也不怀疑非类理论能够解决本文第一节所陈述的所有困难”。这就是说，能够解决悖论。
非类理论的中心思想是它不讲满足某种结定语句的所有对象的类，而只讲语句本身和其中的代换。于是关于指定类的讨论都可以用语句和代换来表述。但是当我们讨论一般的类作为可量词化变元的值时，这种讨论德意义就不明显了。在这篇文章中，罗素已经承认对于大部分经典数学来说，非类理论的可能证明是不适当的。他在1906年2月加的附注中表现出他对于刚刚抛弃的类型论又重新燃起希望。果然，他很快就回来进一步细致地研究类型论，并于1906年7月发表论文了。
罗素把悖论加以分析之后认为：一切悖论的共同特征是“自我指谓”或自指示、自反性，它们都来源于某种“恶性循环”。这种恶性循环来源于某种不合法的集体(或总体或全体)。这类集体的不合法之处在于，定义它的成员时，要涉及到这个集体的整体。罗素悖论是最明显的例子。定义不属于自身的集合时，涉及到“自身”这个整体，这是不合法的，这种涉及自身的定义称为非直谓定义。所以要避免悖论，只需遵循“(消除)恶性循环原理”，“凡是涉及一个集体的整体的对象，它本身不能是该集体的成员”。根据这个原则，罗素提出他的分支类型论。
罗素把论域分成为等级或者类型，只有当满足某一给定条件的所有对象都属于同一类型时，我们才能谈到他们的全体，于是一个类的所有成员必定全都具有同一类型。同样，任何一个量词化的变元也必定有同一类型。这样罗素就引导谈论“所有”和“任何”的区别。“所有”由普遍量词的束缚变元来表示，它们跑遍一个类型；而“任何”则由自由变元来表示，它们可以指任何不确定的事物，而不管其类型如何。因此自由变元是没有任何妨碍的。 但是，分支类型论禁例太严，以致无法推出全部数学。为此罗素引进可化归公理：“任何公式都可以和一个直谓公式等价”。也就是都可以化为含n级变元的n＋1级公式。这样一来可以不必考虑约束变元的级了。这种类型论称为简单类型论。
由于集合(类)和谓词(命题函数)是平行的，因此我们可以用集合更简单地解释一下：简单类型论是由一系列层构成的系统，最底一层是第0级，上面各层、各级都是同一类的型构成，最低一层的元素称为个体，由这些个体所成的类就构成第一级的类，由一级的类为元素所成的类就构成第二级的类，依此类推。
1926年，英国年轻数学家拉姆塞把悖论区别为逻辑悖论(或谓词悖论、集合论悖论)及语义悖论(或认识论悖论)。他证明对于集合论悖论，简单类型论就足以消除。因为这种悖论
20
百度搜索“77cn”或“免费范文网”即可找到本站免费阅读全部范文。收藏本站方便下次阅读，免费范文网，提供经典小说综合文库第三次数学危机(4)在线全文阅读。
相关推荐：