1、数学公理化方法的意义和作用2008-9-27 16:06:49摘自徐利治谈数学哲学 公理化方法在近代数学的发展中起过巨大的作用，可以说，它对各门现代数学都有极其深刻的影响即使在数学教学中，公理化方法也是一个十分重要的方法 所谓公理化方法(或公理方法)，就是从尽可能少的无定义的原始概念(基本概念)和一组不证自明的命题(基本公理)出发，利用纯逻辑推理法则，把一门数学理论构造成为演绎系统的一种方法所谓基本概念和公理，当然必须反映数学实体对象的最单纯的本质和客观关系而并非人们自由意志的随意创造 众所周知，Hilbert l899 年出版的几何学基础一书是近代数学公理化的典范著作该书在问世后的二三十年间
2、曾引起西方数学界的一阵公理热，足见其影响之大Hilbert 的几何公理系统实际上是在前人的一一系列工作成果基础上总结出来的，书中的公理条目也曾屡经修改直到 1930 年出第七版时，还作了最后修改这说明一门学科的公理化未必是一次完成的，公理化过程是可以包含着一些发展阶段的 谈到数学公理化的作用，至少可以举出如下四点： (1)这种方法具有分析、总结数学知识的作用凡取得了公理化结构形式的数学，由于定理与命题均已按逻辑演绎关系串联起来，故使用起来也较方便 (2)公理化方法把一门数学的基础分析得清清楚楚，这就有利于比较各门数学的实质性异同，并能促使和推动新理论的创 (3)数学公理化方法在科学方法论上有示
3、范作用这种方法对现代理论力学及各门自然科学理论的表述方法都起到了积极的借鉴作用例如，20 世纪 40 年代波兰的 Banach 曾完成了理论力学的公理化，而物理学家亦把相对论表述为公理化形式 (4)公理化方法所显示的形式的简洁性、条理性和结构的和谐性确实符合美学上的要求，因而为数学活动中贯彻审美原则提供了范例数学公理化方法2007-09-19 23:302 数学公理化方法公理化方法在近代数学的发展中起过巨大的作用，它对于各门现代数学都有极其深刻的影响公理化方法是数学研究的一种基本方法，即使在数学教学中，也是一个十分重要的方法一、公理化方法的意义和作用所谓公理化方法，就是由尽可能少的不加定义的原
4、始概念(基本概念)和一组不加证明的原始命题(公理或公设)出发，运用逻辑规则推导出其余命题或定理，把一门数学建立成为演绎系统的一种方法公理化方法不仅在现代数学和数理逻辑中广泛应用，而且已经远远超出数学的范围，渗透到其它自然科学领域甚至某些社会科学部门，并在其中起着重要作用1数学公理化方法具有分析、总结数学知识的作用当一门科学积累了相当丰富的经验知识，需要按照逻辑顺序加以综合整理，使之条理化、系统化，上升到理性认识的时候，公理化方法便是一种有效的手段如近代数学中的群论，便经历了一个公理化的过程当人们分别研究了许多具体的群结构以后，发现了它们具有基本的共同属性，就用一个满足一定条件的公理集合来定义群
5、，形成一个群的公理系统，并在这个系统上展开群的理论，推导出一系列定理2公理化方法作为数学研究的一个基本方法，不但对建立科学理论体系，训练人的逻辑推理能力，系统地传授科学知识，以及推广科学理论的应用等方面起到有益的作用，而且对于进一步发展科学理论也有独特的作用例如在代数方面，由于公理化方法的应用，在群论、域论、理想论等理论部门形成了一系列新的概念，建立了一系列新的联系并导致了一系列深远的结果；在几何方面，由于对平行公设的研究导致了非欧几何的创立因此，公理化方法也是在理论上探索事物发展规律，作出新的发现和预见的一种重要方法3公理化方法本身又成为科学研究的对象介乎于逻辑学和数学之间的边缘学科数理逻辑
6、，用数学方法研究思维过程中的逻辑规律，也系统地研究数学中的逻辑方法因此，数学中的公理方法是数理逻辑所研究的一个重要内容由于数理逻辑是用数学方法研究推理过程的，它对公理化方法进行研究，一方面使公理化方法向着更加形式化和精确化的方向发展，一方面把人的某些思维形式，特别是逻辑推理形式加以公理化，符号化这种研究使数学工作者增进了使用逻辑方法的自觉性4数学公理化方法在科学方法论上具有示范作用任何一门科学都不仅仅是搜集资料，也决不是一大堆事实及材料的简单积累，而都是有其自身的出发点和符合一定规则的逻辑体系公理化方法对现代理论力学及各门自然科学理论的表述方法都起到了积极的借鉴作用例如牛顿在他的自然哲学的数学
7、原理巨著中，系统地运用公理化方法表述了经典力学理论体系；本世纪 40 年代波兰的巴拿赫完成了理论力学的公理化；爱因斯坦运用公理化方法创立了相对论理论体系狭义相对论的出发点是两个基本假设：相对性原理和光速不变原理爱因斯坦以此为前提，逻辑地演绎出四个推论：“尺缩效应”、“钟慢效应”、“质量增大效应”和“关系式”这些就是爱因斯坦运用公理化方法，创立的狭义相对论完整理论体系的精髓二、公理化方法的产生和发展公理化方法主要是从数学(主要是几何学)和逻辑学的发展中产生的一般认为公理化方法的历史发展大致可划分为产生、完善和形式化三个阶段1公理化方法的产生公理化方法发展的第一阶段是由亚里斯多德的完全三段论到欧几
8、里得几何原本的问世大约在公元前 3 世纪，希腊哲学家和逻辑学家亚里斯多德总结了几何学与逻辑学的丰富资料，系统地研究了三段论，以数学及其它演绎的学科为例，把完全三段论作为公理，由此推导出其它所有三段论法，从而使整个三段论体系成为一个公理系统因此，亚里斯多德在历史上提出了第一个成文的公理系统亚里斯多德的思想方法深深地影响了当时的希腊数学家欧几里得欧几里得把形式逻辑的公理演绎方法应用于几何学，从而完成了数学史上的重要著作几何原本他从古代的量地术和关于几何形体的原始直观中，用抽象分析方法提炼出一系列基本概念和公理他总结概括出 14 个基本命题，其中有 5 个公设和 9 条公理，然后由此出发，运用演绎方
9、法将当时所知的全部几何学知识推演出来，整理成为演绎体系几何原本一书把亚里斯多德初步总结出来的公理化方法应用于数学，整理、总结和发展了希腊古典时期的大量数学知识，在数学发展史上树立了一座不朽的丰碑公理学研究的对象、性质和关系称为“论域”，这些对象、性质和关系，由初始概念表示例如欧氏几何原本中只需取“点”、“直线”、“平面”；“在之上”、“在之间”、“叠合”作为初始概念前三个概念所表示的三类对象和后三个概念所表示的三种关系就是这种几何的论域按照“一个公理系统只有一个论域”的观点建立起来的公理学，称为实质公理学这种公理学是对经验知识的系统整理，公理一般具有自明性因此，欧氏几何原本就是实质公理学的典范
10、2公理化方法的发展几何原本虽然开创了数学公理化方法的先河，然而它的公理系统还有许多不够完善的地方，其主要表现在以下几个方面：(1)有些定义使用了一些还未确定涵义的概念；(2)有些定义是多余的；(3)有些定理的证明过程往往依赖于图形的直观；(4)有的公理(即平行公理)是否可用其它公理来证明或代替这些问题成为后来许多数学家研究的课题，并通过这些问题的研究，使公理化方法不断完善，并促进了数学科学的发展第五公设(即平行公设)内容复杂，陈述累赘，缺乏象其它公设和公理那样的说服力，并不自明因此，它能否正确地反映空间形式的性质，引起了古代学者们的怀疑从古希腊时代到公元 18 世纪，人们通过不同的途径和方法对
11、这一问题进行了大量的研究工作，其中萨克里( Saccheri，16671733)和兰勃特( Lambert，1728-1777)等人考虑了两个可能的与平行公设相反的假设，试图证明出平行公设，但是他们的努力均归于失败然而，在这些失败中却引出了一串与第五公设相等价的新命题和定理，即非欧几何的公理和定理，它预示了一种新的几何体系可能产生19 世纪年轻的俄国数学家罗巴切夫斯基(1792-1856)产生了与前人完全不同的信念：首先，他认为第五公设不能以其余的公理作为定理来证明；其次，除掉第五公设成立的欧氏几何之外，还可能有第五公设不成立的新几何系统存在于是，他在剔除第五公设而保留欧氏几何其余公理的前提下
12、，引进与第五公设相反的公理，从而构造了一个全新的几何系统，它与欧氏几何系统相并列后来人们又证明了这两个部分地相矛盾的几何系统竟是相对相容的，即假定其中之一无矛盾，则另一个必定无矛盾，这样以来，只要这两个系统是无矛盾的，第五公设与欧氏系统的其余公理就必定独立无关现在人们就用罗巴切夫斯基的名字命名了这一新的几何学，并把一切不同于欧氏几何公理系统的几何系统统称为非欧几何非欧几何的建立在数学史上具有划时代的意义，标志着人们对空间形式的认识发生了飞跃，从直观空间上升到抽象空间在建立非欧几何的过程中，公理化方法得到了进一步的发展和完善3公理化方法的形式化德国数学家帕斯(Moritz Pasch，1843-
13、1930)通过对射影几何公理化基础的纯逻辑的探讨，第一次从理论上提出了形式公理学的思想他认为，几何学如果要成为一门真正的演绎科学，最根本的是推导的进行必须完全独立于几何概念的涵义，同样地也必须不以图形为依据，而所考虑的只能是被命题或定义所确定的几何概念之间的关系就是说，一个公理系统必然要有本系统里不定义的概念，通过这些概念就可以给其它概念下定义，而不定义概念的全部特征必须由公理表达出来公理可以说是不定义概念的隐定义有些公理虽然是由经验提出来的，但当选出一组公理之后，必须不再涉及经验及物理意义公理决不是自明的真理，而是用以产生任一特殊几何的假定帕斯的这些思想已经表达了形式公理系统的特征随着数学的
14、深入研究和射影几何公理系统的建立，形式公理学的概念已经成熟1899 年希尔伯特几何学基础一书的发表，不仅给出了欧氏几何的一个形式公理系统，而且解决了公理化方法的一系列逻辑理论问题这本著作成为形式公理学的奠基著作希尔伯特几何公理系统，除了有几何模型外，还可以有其它模型(如算术模型)，所以它是一个形式公理系统，可以把其初始概念和公理看成是没有数学内容的，数学内容是通过解释赋予它们的，初始概念和公理完全可以用形式语言来陈述因此，自从几何学基础问世以后，不仅公理化方法进入了数学的其它各个分支，而且也把公理化方法本身推向了形式化的阶段三、公理化方法的内容和公理系统的构造公理是对诸基本概念相互关系的规定，
15、这些规定必须是必要的而且是合理的因此，一个严格完善的公理系统，对于公理的选取和设置，必须具备如下三个基本要求：1相容性(或称无矛盾性、协调性)这一要求是指在一个公理系统中，不允许同时能证明某一定理及其否定理反之，如果能从该公理系统中导出命题A 和否命题非 A(记作-A)，从 A 与-A 并存就说明出现了矛盾，而矛盾的出现归根到底是由于公理系统本身存在着矛盾的认识，这是思维规律所不容许的因此，公理系统的无矛盾性要求是一个基本要求，任何学科，理论体系都必须满足这个要求2独立性这一要求是指在一个公理系统中的每一条公理都独立存在，不允许有一条公理能用其它公理把它推导出来，同时使公理的数目减少到最低限度
16、3完备性这就是要求确保从公理系统中能推出所研究的数学分支的全部命题，也就是说，必要的公理不能减少，否则这个数学分支的许多真实命题将得不到理论的证明或者造成一些命题的证明没有充足的理由从理论上讲，一个公理系统的上述三条要求是必要的，同时也是合理的至于某个所讨论的公理系统是否满足或能否满足上述要求，甚至能否在理论上证明满足上述要求的公理系统确实存在等，则是另外一回事了应该指出的是，对于一个较复杂的公理体系来说，要逐一验证这三条要求相当困难，甚至至今不能彻底实现根据上述三条要求，如何来构造公理系统呢？也就是说，如何运用公理化方法将一门数学整理组织成一个演绎系统呢？一般来说，有三个步骤：1要积累大量的
17、经验、数据和资料，对这些经验资料进行分析归纳，使之系统化，最后上升为理论因为公理系统的建立是以大量的事实为基础，以丰富的经验和已有的科学知识为前提的，设此无彼2数学公理化的目的是要把一门数学整理成为一个演绎系统，而这一系统的出发点就是一组基本概念和公理因此，要建立一门数学的演绎系统，就要在第一步的基础上，从原有的资料、数据和经验中选择一些基本概念和确定一组公理，然后由此来定义其它有关概念并证明有关命题选取的基本概念是不定义概念，必须是无法用更原始、更简单的概念去确定其涵义的，也就是说，它是高度纯化的抽象，是最原始最简单的思想规定3在确定了基本概念和公理之后，就要由此出发，经过演绎推理，将一门数
18、学展开成一个严格的理论系统也就是说，对系统中的每一概念予以定义，而每一个定义中引用的概念必须是基本概念或已定义过的概念；对其它每一命题都给予证明，而在证明中作为论据的命题必须是公理或者已经证明为真实的定理因此，一门数学的演绎系统就是这门数学的基本概念、公理和定理所构成的逻辑的链条在上述过程中，从认识论的角度来看，任何公理系统的原始概念和公理的选取必须反映现实对象的本质和关系就是说，应该有它真实的直观背景而不是凭空臆造其次，从逻辑的角度看，则不能认为一些概念和公理的任意罗列就能构成一个合理的公理系统，而一个有意义的公理系统必须是一个逻辑相容的体系四、公理系统的相容性证明一个公理系统的相容性是至关
19、重要的，因为一个理论体系不能矛盾百出而独立性和完备性的要求则是次要的因为在一个理论体系中，如果有多余的公理，对于理论的展开没什么妨碍；如果独立的公理不够用，数学史上常常补充一些公理，逐步使之完备下面仅就公理系统的相容性证明作一介绍1问题的产生及历史发展背景关于相容性征明这一概念的产生和历史发展的背景是这样的：自从罗巴切夫斯基几何诞生后，由于罗氏平行公理(过平面上一已知直线外的一点至少可以引两条直线与该已知直线平行)如此地为常识所不容，这才真正激起了人们对于数学系统的无矛盾性证明的兴趣和重视后来，庞卡莱(Poincare，1854-1912)在欧氏半平面上构造了罗氏几何的模型，把罗氏系统的相容性
20、证明通过一个模型化归为欧氏系统的相容性证明，但却由此导致了人们对欧氏系统相容性的重重疑虑幸亏那时已经有了解析几何，这就等于在实数系统中构造了一个欧氏几何的模型这就把欧氏几何的无矛盾性归结到了实数论的相容性那么实数论的相容性如何？戴德金(Dedekind，1831-1916)把实数定义为有理数的分划，也即有理数的无穷集合，因而把这个无矛盾性归结到了自然数系统的无矛盾性又由于弗雷格( Frege，1848-1925)的自然数的概念是借助集合的概念加以定义的，因此，归来归去还是把矛盾集中到集合论那里去了那么集合论的相容性如何？事实上，集合论的相容性正处于严重的“危机”之中，以致这种相容性的证明至今还
21、未解决2庞卡莱模型和相对相容性证明庞卡莱为证明罗氏几何的相容性，在欧氏系统中构造了一个罗氏几何的模型即在欧氏平面上划一条直线 a 将其分成上、下两个半平面，把不包括这条直线在内的上半平面作为罗氏平面，其上的欧氏点当作罗氏几何的点，把以该直线上任一点为中心，任一长为半径的半圆周作为罗氏几何的直线，然后对如此规定的罗氏几何元素一一验证罗氏平行公理是成立的如图 43 所示，过罗氏平面上任一罗氏直线 l 外的一点 P，确实可以作出两条罗氏直线与 l 平行因为欧氏直线 a 上的点不是罗氏几何系统的元素，所以两个半圆相交于直线 a 上某一点则应看作相交于无穷远点，从而在有穷范围内永不相交这样以来，如果罗氏
22、系统在今后的展开中出现了正、反两个互相矛盾的命题的话，则只要按上述规定之几何元素间的对应关系进行翻译，立即成为互相矛盾的两个欧氏几何定理从而欧氏系统就矛盾了因此，只要承认欧氏系统是无矛盾的，那么罗氏系统一定也是相容的这就把罗氏系统的相容性证明通过上述庞卡莱模型化归为欧氏系统的相容性证明这种把一个公理系统的相容性证明化归为另一个看上去比较可靠的公理系统的相容性证明，或者说依靠一个数学系统的无矛盾性来保证另一个数学系统的协调性叫做数学系统的相对相容性证明3相容性证明对数学发展的影响由于相对相容性的出现，使人们对欧氏系统的相容性也忧心重重而更糟的是，在罗氏系统的展开中人们又发现，罗氏几何空间的极限球
23、面上也可构造欧氏模型，即欧氏几何的全部公理能在罗氏的极限球上实现，于是欧氏几何的相容性又可由罗氏几何的相容性来保证！这说明欧氏与罗氏的公理系统虽然不同，但却是互为相容的人们当然不满足于两者互相之间的相对相容性证明，因为看上去较为合理的欧氏系统的无矛盾性竟要由看上去很不合理的罗氏系统来保证，这是难以令人满意的于是人们开始寻求直接的相容性证明，本世纪初数学基础论就诞生了由于在这一工作中所持的基本观点不同，在数学基础论的研究中形成了诸如逻辑主义派、直觉主义派和形式公理学派三大流派这些流派虽然并未最后解决相容性证明问题，但在方法论上却各有贡献，他们的方法论、思想方法对于数学的研究与发展都具有重要的意义
24、，有些还值得进一步分析、探讨、继承和发数学公理的前提适用范围 采用公理化建立数学，为什么不采用自然化而更加符合真实事实？换而言之，没有公理化就没有数学体系，公理化是数学理论基础的来源。数学里的公理是人为任意性的，公理只不过是导出结论的逻辑演绎基础而已，是存在有适用范围与前提条件的。所谓的公理化只不过是属于一种前置预设的约定规定的定义，然后再因此而进行演绎推导等后续性活动。 数学公理化并不等于普遍化，公理化只是属于个别案例情况，受到前提条件的制约。我们所有的知识几乎都是相对某一范围，不具有完全普遍的意义，所以公设公理也只能在一定条件下才具有真实可靠的意义。我们暂时先不讨论数学，先讨论数学的前提即
25、存在着的事实，因为误解就发生在前提的事实上。 原理是从公理推导出来的，数学是在前提公理化规定后演绎的。可以在没有理中进行人为性制造理，通过假设假定来进行制造公理，然后通过公理来推导出来原理，然后再由原理而推导出来定理。所有的理都是通过人为性规定各种而推导出来的，而不是真实自然之理。 论证来源于直观事实，将未经证明证实或解释的事实作为假设假定来进行推理论证。在技术上只要是有效都是可行的，可是在认识上却无法行得通。公理也是通过人为性规定的，它并不能够成为检验数学正确与否的标准。于是不得不重新规定制造一个选择性公理来限制原来的公理。 公理化是表达我们意思的一种方法，可以起到没有矛盾的作用，但是本质上
26、的和谐来自我们的直觉想象。形式上的推理在某些方面可以表达很多内容，如希尔伯特所说，点线面的概念可以代表许多事物，同样的表达同一个事物我们可以采用不同的形式。而公理化所表达的只不过是其中一种意思。将逻辑法则认定为真理体系，是对真理的阉割歪曲。数学是人为性规定的一个体系，并不是一个真理体系，所谓的真理只是表现了数学家们的良好愿望而已。数学的生命力的实质并不在于公理化，而在于实际应用上的需要，这才是数学生命力和价值的真正所在。正是数学具有这样的实用功效，并以此为动力推动了数学的发展，并且超越了实际直接应用上的界限。 用数学方法可以推得其它定理，却无法得到公理，这公理不是数学自身的产物，而是数学存在着
27、必不可少的前提，没有公理数学体系就建立不起来。有些情况是这样有些情况又是那样的，我们现在常取舍符合我们人为性要求的，而不顾其它事实，但是对于另些则是无效，这是存在一定的有效性。超越了前提范围，问题就自然会暴露出来，这时我们还得再重新考虑范围以外的问题，当另些问题已解决时这时又出现了悖论问题，于是人们陷入了认识的怪圈之中无法自拔。 我们不应该害怕和反对消除悖论，悖论是一件好事，对我们有所启迪帮助，很容易发现问题的。数学悖论并不是一种危机，而带给人们的却是一种更加完整全面的清醒认识。应该准确地说逻辑只是某种局限的在适用范围内有效，否则产生悖论是很正常必然的。 理发师的故事，前后的前提是不一样的，如
28、果混在一起则为悖论。不只是具有双值逻辑而是具有多值逻辑。它适用的前提基础，适用范围即前提限制，即优先确定在某一区域范围，这是由数学本身的特点所决定的，因为它本身就不是包罗万象全面适用的。即前提是存在即有效只在一定的前提条件下才是有效的。 数学只是在有限的条件范围内有效，这才是数学适用的前提条件。集合悖论产生于前提条件的公理系统，独立性与兼容性和一致性与完全性的同时采用，公理系统与形式系统的逻辑演绎方法无法解决这个问题。 众所周知，目前数学存在的逻辑主义、直觉主义、形式主义、集合论公理化主义、约定主义、实在主义、构造主义等派别。从不同的角度解释了对数学的看法或认识，仍然没有离开数学公理化的前提基
29、础，还是没有人认真从自然真实去解释数学。应该是内容决定了形式，而不是形式决定了内容，这个关系应该澄清的，完全走公理化道路给人以许多误会，即以形式取代内容只是无奈的选择。 应该选择真实主义，因为真实是一切存在的基础，这样就不会偏离数学发展的正确方向。将自然界数学化是一个迷失方向的一种倾向。数学只是对事物现象进行定量描述，并没有对于实质原因进行描述，更不能因为数学存在有效性而取代认识上的先导地位。公理化体系的作用是在对某些原因并不清楚的前提下，以某些众所周知而又无法解释的事实作为公设公理，然后再进行一系列的演绎推理过程，使人们相信由此而推导出来的定理定律或结论是真实可靠的。 中国古人具有很强的数学
30、计算能力，这是众所周知的事实，但是中国人的数学发现与逻辑演绎思想是没有太大关系。周髀算经九章算术等虽然具有极强的实际应用计算能力，却没有逻辑演绎证明。中国几何是以“非规矩不能定方圆，非准绳不能定曲直”的实用性来定义的，所以中国不会出现悖论的。中国数学是在实际应用中产生的，故以实际应用为衡量正确与错误等的标准，所以并不重视数学逻辑演绎或证明的作用。数学公理的前提适用范围 采用公理化建立数学，为什么不采用自然化而更加符合真实事实？换而言之，没有公理化就没有数学体系，公理化是数学理论基础的来源。数学里的公理是人为任意性的，公理只不过是导出结论的逻辑演绎基础而已，是存在有适用范围与前提条件的。所谓的公
31、理化只不过是属于一种前置预设的约定规定的定义，然后再因此而进行演绎推导等后续性活动。 数学公理化并不等于普遍化，公理化只是属于个别案例情况，受到前提条件的制约。我们所有的知识几乎都是相对某一范围，不具有完全普遍的意义，所以公设公理也只能在一定条件下才具有真实可靠的意义。我们暂时先不讨论数学，先讨论数学的前提即存在着的事实，因为误解就发生在前提的事实上。 原理是从公理推导出来的，数学是在前提公理化规定后演绎的。可以在没有理中进行人为性制造理，通过假设假定来进行制造公理，然后通过公理来推导出来原理，然后再由原理而推导出来定理。所有的理都是通过人为性规定各种而推导出来的，而不是真实自然之理。 论证来
32、源于直观事实，将未经证明证实或解释的事实作为假设假定来进行推理论证。在技术上只要是有效都是可行的，可是在认识上却无法行得通。公理也是通过人为性规定的，它并不能够成为检验数学正确与否的标准。于是不得不重新规定制造一个选择性公理来限制原来的公理。 公理化是表达我们意思的一种方法，可以起到没有矛盾的作用，但是本质上的和谐来自我们的直觉想象。形式上的推理在某些方面可以表达很多内容，如希尔伯特所说，点线面的概念可以代表许多事物，同样的表达同一个事物我们可以采用不同的形式。而公理化所表达的只不过是其中一种意思。将逻辑法则认定为真理体系，是对真理的阉割歪曲。数学是人为性规定的一个体系，并不是一个真理体系，所
33、谓的真理只是表现了数学家们的良好愿望而已。数学的生命力的实质并不在于公理化，而在于实际应用上的需要，这才是数学生命力和价值的真正所在。正是数学具有这样的实用功效，并以此为动力推动了数学的发展，并且超越了实际直接应用上的界限。 用数学方法可以推得其它定理，却无法得到公理，这公理不是数学自身的产物，而是数学存在着必不可少的前提，没有公理数学体系就建立不起来。有些情况是这样有些情况又是那样的，我们现在常取舍符合我们人为性要求的，而不顾其它事实，但是对于另些则是无效，这是存在一定的有效性。超越了前提范围，问题就自然会暴露出来，这时我们还得再重新考虑范围以外的问题，当另些问题已解决时这时又出现了悖论问题
34、，于是人们陷入了认识的怪圈之中无法自拔。 我们不应该害怕和反对消除悖论，悖论是一件好事，对我们有所启迪帮助，很容易发现问题的。数学悖论并不是一种危机，而带给人们的却是一种更加完整全面的清醒认识。应该准确地说逻辑只是某种局限的在适用范围内有效，否则产生悖论是很正常必然的。 理发师的故事，前后的前提是不一样的，如果混在一起则为悖论。不只是具有双值逻辑而是具有多值逻辑。它适用的前提基础，适用范围即前提限制，即优先确定在某一区域范围，这是由数学本身的特点所决定的，因为它本身就不是包罗万象全面适用的。即前提是存在即有效只在一定的前提条件下才是有效的。 数学只是在有限的条件范围内有效，这才是数学适用的前提
35、条件。集合悖论产生于前提条件的公理系统，独立性与兼容性和一致性与完全性的同时采用，公理系统与形式系统的逻辑演绎方法无法解决这个问题。 众所周知，目前数学存在的逻辑主义、直觉主义、形式主义、集合论公理化主义、约定主义、实在主义、构造主义等派别。从不同的角度解释了对数学的看法或认识，仍然没有离开数学公理化的前提基础，还是没有人认真从自然真实去解释数学。应该是内容决定了形式，而不是形式决定了内容，这个关系应该澄清的，完全走公理化道路给人以许多误会，即以形式取代内容只是无奈的选择。 应该选择真实主义，因为真实是一切存在的基础，这样就不会偏离数学发展的正确方向。将自然界数学化是一个迷失方向的一种倾向。数
36、学只是对事物现象进行定量描述，并没有对于实质原因进行描述，更不能因为数学存在有效性而取代认识上的先导地位。公理化体系的作用是在对某些原因并不清楚的前提下，以某些众所周知而又无法解释的事实作为公设公理，然后再进行一系列的演绎推理过程，使人们相信由此而推导出来的定理定律或结论是真实可靠的。 中国古人具有很强的数学计算能力，这是众所周知的事实，但是中国人的数学发现与逻辑演绎思想是没有太大关系。周髀算经九章算术等虽然具有极强的实际应用计算能力，却没有逻辑演绎证明。中国几何是以“非规矩不能定方圆，非准绳不能定曲直”的实用性来定义的，所以中国不会出现悖论的。中国数学是在实际应用中产生的，故以实际应用为衡量
37、正确与错误等的标准，所以并不重视数学逻辑演绎或证明的作用。、數學公理化方法的作用及其局限性數學公理化方法是研究數學的重要思維方法, 它對於近代數學和其他自然科學的發展, 起過重要作用和深遠影嚮。關於數學公理化方法的主要作用, 可概括為如下四點:1. 從歐幾里得到“ 布爾巴基 ”, 經歷過二十多個世紀, 數學的主要支柱和分支, 大多數都進行了公理化, 使得整個數學構成一個龐大、嚴謹、優美的理論體系。6 數學傳播十七卷二期民82年6月2. 根據一定水平的公理化要求而編寫的具有邏輯演繹體系的數學教材, 既符合於教學和認識過程的規律, 又有利於培養學生的邏輯思維能力, 乃是一種行之有效的措施。3. 數
38、學公理化方法不僅可以整理和提煉已經積累的數學知識, 使之構成嚴謹優美和諧的理論體系, 而且可以擴大數學理論和方法的應用範圍。這是因為, 如若一個公理系統能夠適用於某種對象的集合, 則它的一切推論也應該適用於該對象的集合。再者, 數學家們如欲檢驗一個數學理論體系是否適用於某種對象的集合, 只需驗證該理論的公理系統能否適用, 這樣可以減少大量的思維勞動。4. 數學公理化方法對於現代物理學、理論力學以及其他各門自然科學的表述方法都有重要借鑒作用。大衛 希爾伯特在第二次國際數學家大會上講演時曾經指出: “波爾茲曼關於力學原理的著作(Vorlesungenuber die Prinzipe der Me
39、chanik, Leipzig,1897), 提出了數學研究由原子論觀點導出連續介質運動規律的極限過程問題 我們還必須試圖通過一種極限過程, 從一組公理出發來推出剛體運動的規律 如果用幾何學作為處理物理公理的模型, 那麼, 我們首先要試圖借助於少量的公理, 來概括盡可能廣泛的一類物理現象, 然後再加進新的公理, 逐步地過渡到更特殊的理論” 。 近年來, 莫爾卡諾夫曾指出: “在狹義相對論的範圍內, 關於超光速可能性的最終解決, 沒有嚴格的公理化是不可能的” 。從本世紀四十年代開始, 由於電子計算機的飛速發展和廣泛應用, 引起了在數學發展史上由來已久的算法傳統的興起, 致使在純粹數學中得到廣泛應用的公理化方法表現出明顯的局限性。在數學方法中有宏觀與微觀之別, 公理化方法是一種宏觀數學方法, 它的主要功能在於對已經積累的大量數學知識進行加工、整理、改造和重建工作。而微觀數學方法則包含有命題形式推理、數學計算等, 其中既有以一定的邏輯推理法則為依據的方法, 也有以某種數學分支所特有的算法技巧為依據的方法。在通常情況下, 數學工作者在解決一個具體問題時, 往往是先從現存的數學寶庫中去搜尋適宜的微觀數學方法, 而並非首先去求助於某個公理化系統。
