下载文档原格式
论数学大厦的基础：欧几里得——希尔伯特公理化思想方法的发展班级：13级626数学班姓名：徐影红学号：11607262616 摘要：公理化思想方法是数学研究的一种基本方法，在近代数学的发展及中起过巨大的作用，对各门现代数学理论系统形成有着深刻的影响。
数学是一门演绎的科学，其体系是一种演绎的体系。
那么，这个演绎体系的基础是什么？整个数学大厦的基础是怎样建立起来的？这个基础就是数学公理系统，整个数学知识的大厦就是按照公理化体系建立起来的。
没有公理化，就没有数学体系的严谨性。
本文将从公理化思想方法的产生、发展和完善三方面来阐述公理化思想的发展进程。
关键字：公理化思想方法、演绎体系、公理化系统一、公理化思想方法的含义公理化是一种数学方法，最早出现在2000多年前的欧几里得几何学中，当时认为“公理”是一种不需要证明的自明之理，18世纪，德国哲学家康德认为，欧几里得几何的公理使人们生来就有的先验知识，19世纪末，德国数学家希尔伯特在他的几何基础上系统地提出数学的形式公理化方法。
他认为每一种数学理论都应以“基本概念-公理-定理”的模式来建立：这里的公里时作为理论出发点的科学假设，它们要求具有完备性、独立性和相容性。
20世纪以来，整个数学几乎都已按希尔伯特的模式都到公理化处理。
在一个数学理论系统中，公理化方法就是从原始概念和公理出发，按照一定的规定定义出其他所有的概念，推导出其他一切命题的一种演绎方法。
二、公理化思想方法的发展历程公理化思想方法的历史发展大致可分成如下三个阶段：（一）公理化方法的产生阶段1、亚里士多德和逻辑公理化方法众所周知，在长达一千多年的光辉灿烂的希腊文化中，哲学、逻辑学、几何学得到了很大的发展。
大约在公元前3世纪，希腊哲学家和逻辑学家亚里士多德总结了前任所发现和创立的逻辑知识，以完全三段论作为出发点，用演绎的方法推导出其余十九个不同格式的所有三段论，创立了人类历史上第一个公理化方法，即逻辑公理化方法，从而为数学公理化方法创造了条件。
公理化方法对培养学生数学核心素养的意义及启示。
自20世纪80年代以来，公理化方法一直是教育界重要的教学理论之一，但由于它严谨、深刻、有趣的特点，它也成为广大数学教师引入和实施的一种常用方法。
此外，它对培养学生数学核心素养具有十分重要的意义和启示。
首先，公理化方法极大地提升了学生的数学能力和素养水平。
课堂上学生不仅可以学习有关数学知识的基本概念，而且养成了思考、分析、归纳的能力，从而提高了学生的数学能力。
其次，公理化方法还有助于提升学生的学习热情。
公理化方法注重把数学当作一种“娱乐”来进行，无论是探究性学习还是分析技巧，都是教师以有趣的形式教授，学生们更容易接受，从而调动起学习的热情。
此外，公理化的教学方式还有助于学生提高综合能力。
由于公理化教学注重学生的实践能力和综合能力，充分激发了学生的学习兴趣，增强了他们的表达能力和自学能力，并培养了学生的团队合作精神和创新意识。
同时，对学生进行有节奏的练习也有利于改善基础知识，为未来学习打下坚实的基础。
总而言之，公理化方法有助于提高学生的数学能力，增强学习热情和创新意识，也将有助于培养学生的数学核心素养，更好地应用到日常的学习和生活当中。
因此，数学教师应当在实践中发挥公理化教学的准确性和丰富性，以提高学生的数学素养和能力。
公理化方法在高中数学教学中的意义和作用一、引言公理化方法是高中数学教学中的重要方法。
本篇论文在介绍公理化方法的基础上，着重阐述了公理化方法在高中数学教学中的意义和作用，以及如何应用。
二、公理化方法的简介1、公理化方法的概念和思想公理化方法是以若干个显然成立的或者通过简单证明能够成立的基本定理为基础，去解决问题的一种方法。
公理化方法的出发点就是一组原始概念和公理，因此如何去选择原始概念和设置公理是公理化的关键。
2、公理化方法的基本法则公理化方法的公理需满足下列几项要求：（1）公理需要是显然成立的，或者容易证明成立的。
（2）独立性：公理化的独立性是指公理系统中所有公理不能互相推出。
（3）全面性：要求公理要全面，能通过选择的这些公理解决所研究的数学方面的问题以高中数学的立体几何为例，在研究平面的问题中，建立了三个公理，这三个公理满足了上述的三项要求，每个公理都是显然成立的，都是独立的，并且通过这三个公理我们可以解决平面的所有问题。
三、公理化方法在中学数学教学上的意义和作用1、公理化方法对中学数学教学的启示（1）对数学教学内容的启示a强调已有知识经验在学习中的重要性教师应努力创设情境激活学生原有认知结构中与新知识学习有关的各种基础知识，让学生能在已经掌握的知识的基础上，进行思考新学习的内容，以保证学生学习的顺利进行。
b对数学教学内容呈现的思考为了提高学生的综合素质，近几年新课程改革轰轰烈烈地进行着，这也就促使我们思考这样一个问题：初等数学教学应该如何呈现数学教学内容呢？数学是培养学生逻辑思维能力的一种很有用的方法，而逻辑思维能力是公理化方法的一个主要特征，因此，对于中学数学内容的选取应综合各方面的因素，在学生可接受的前提下，以一种相对严谨的公理化方式，渐进地使学生了解公理化方法的思想内核，从而培养学生的逻辑思维，演绎推理能力。
（2）对教学过程中师生地位作用的启示公理化方法认为：学习是在已经掌握了的知识上进行思考。
公理化方法的发展及其对数学教学的启示[摘要]数学公理化方法是研究数学的重要思想方法，它对于近代数学和其他自然科学的发展起过巨大作用和深远影响，它很大程度上推动了数学的发展。
而数学的教育更多的是方法和思想的教育，公理化方法在数学教育上有着举足轻重的地位和作用。
[关键字]公理化方法；发展；作用；教学启示公理化方法是自然科学，特别是数学的重要逻辑演绎工具.在公理化方法的教学中，不仅要让学生受到数学美的薰陶，而且要相信学生也可以自己动手去构建公理系统①。
公理化方法是整理数学知识为一个严格逻辑体系、建立数学逻辑基础的方法。
用公理方法建构的体系条理清楚、简明扼要，命题之间有机联系，便于流传与推广。
从公理化方法的发展历史来看，公理法的形成和发展推动了整个数学的发展。
公理化方法在数学中的发展经历了三个主要阶段，从古代公理化的产生，改进到现代公理化的出现，对数学的发展影响深远。
一．公理化方法的概念公理化方法是从尽可能少的不加定义的基本概念和一组基本命题出发，利用纯逻辑推理的法则，把一门科学建立成演绎系统的方法。
数学公理化的目的，就是把一门数学表述为一个演绎系统，这个系统的出发点则是一组基本概念和若干基本命题，基本概念必须是对数学实体的高度纯化和抽象。
而基本命题则是对基本概念相互关系的制约和规定。
②所谓公理，不管是古典的直观定义抑或是近代的抽象定义，其实质是数学理论用以推理演算的出发点，或者说是立足点。
公理化方法是数学方法中的宏观方法，是研究数学理论的结构。
公理化方法主要用于对己经积累起来的大量数学知识.进行加工、整理、改造、重建工作。
二．公理化方法的发展公理化方法是从数学(主要是几何学)和逻辑学的发展中产生的，其历史发展可分为如下几个阶段：（一）古代几何公理化方法的产生最早开始几何命题证明的人是泰勒斯（约公元前640—前546年）；接着毕达哥斯拉（约公元前580---前500年）发现并证明了勾股定理，这一学派对数学的最大贡献在于开始了系统的演绎证明；安提丰在约公元前400年，提出几何作图的三大问题：“化圆为方”“倍立方”“三分角”还提出“穷竭法”和求圆面积的近似方法；德谟克利特（公元前460-前357年）提出几何原子论思想，并用原子法第一个得出了“椎体体积是等衣等高椎体的1/3”；柏拉图（约前427年-前347年）坚持要准确给出几何定义，一生都在强调几何的重要性；攸多克萨斯（约公元前408年-前355年）创立了比例论，最早提出了证明几何问题分析法和综合法；门内马斯（约公元前375年-前325年），他第一个系统地研究了圆锥曲线；亚里斯多德（约公元前384年-前322年）总结了古代积累起来的逻辑知识，以演绎证明的科学为实例，创立了逻辑学这门学科，提出了基本逻辑原理：同一律，矛盾律，排中律和逻辑推理的基本方法“三段论法”，以三段论作为公理推出所有三段论法，给定义，公理，公设下了定义，提出了历史上第一个成文的公理系统；欧几里得（约公元前330年-前275年）他第一个成功地应用了公理化方法，并改造了亚里士多德创立的公理化方法的是古希腊数学家欧几里得，这充分体现在他那13卷的鸿篇巨著—《几何原本》里。
论公理化思想的发展历程、及学习数学史的感受13数学系625班41号刘晔摘要：公理化方法是近代数学公理化方法的一个典范, 它完善了欧氏几何, 使它建立在更加牢靠的基础上。
它使几何学的定理命题均按照逻辑演绎关系串联起来, 使用起来十分方便。
关键词：欧几里得几何,公理化，发展历程.公理化方法是自然科学, 特别是数学的重要逻辑演绎工具。
长期以来人们对公理化方法研究不止,存在不同的看法和争议,并由此而不断产生新的科学分支。
因此, 公理化方法研究总是充满生机的。
一、公理化思想的发展历史欧几里德于公元前300 年写了一本名著《几何原本》, 这是历史上第一次以公理化方法为工具的演绎数学。
由于受当时科学水平的限制, 他不可能把作为几何根基的基础整理得完美无缺, 因此在《原本》中的逻辑系统中显示出许多漏洞来。
欧几里德以后的许多数学家几乎都为改进欧氏公理体系做过努力。
另外, 人们对《原本》中的第五公设产生了如下二方面的怀疑：第五公设是否正确反映了空间性质？第五公设本身会是个定理吗？于是,人们又进行了三方面的探究：（1）用其他公设来推导第五公设（该条途径研究失败）；（2）换一个与第五公设等价而几何意义明显的命题作为公设；（3）换一个与第五公设相反的公设。
历史上的许多数学家企图从否定第五公设（包括等价命题）得出矛盾, 从而证明第五公设, 但经过长达二十个世纪的历代几何学家们的努力, 问题并未得到根本的解决,结果却导致了非欧几何的产生。
更令人欣喜的是, 十九世纪中叶, 人们在欧氏几何中找到非欧几何的模型, 这就是说, 欧氏几何无矛盾的话, 则非欧几何也无矛盾。
后来, 非欧几何被应用到天体物理和广义相对论中, 从而使非欧几何有了坚实的实践基础。
为了研究两种几何平行而不悖，以希尔伯特为代表的数学家们掀起了对几何逻辑基础的研究，希尔伯特在1899年发表了他的名著《几何基础》，第一次提出了简明、完整而严格的形式公理化方法而使《几何基础》成为现代公理化方法的里程碑。
公理化方法的发展及其对数学教育的启示公理化方法是现代数学发展的重要方法，它的出现使得数学能够更加清晰、系统、严谨地表达出来。
公理化方法不仅改变了数学的面貌，也对数学教育产生了深远影响。
本文主要从公理化方法的发展和它对数学教育的启示两个方面来探讨公理化方法的意义。
一、公理化方法的发展公理化方法的起源可以追溯到希腊数学家欧几里德。
他在《几何原本》中的公理化方法对现代数学的发展造成了深远的影响。
欧几里德的公理化方法是以一些自然显然的个人经验作为基础，进行逻辑推理，从而证明定理的正确性。
后来在十九世纪末，希尔伯特提出了公理化方法的新理念：从极端简单的、自明的判断开始，利用逻辑细节的证明过程建立起大量的数学理论。
公理化方法的本质是从基本事实着手，通过推演、证明和求解来得出定理和结论。
由于基本事实不会被证明或推导出来，其默认为真，需要从中推导所有其它是定理或推论。
由此，公理化方法不仅仅是逻辑方法，而且是一种需要语言和符号体系去完备表达的方法。
公理化方法要求对不同领域的知识进行分解、分类、梳理和整合，从而形成一个清晰、明确、有序的知识结构。
1. 培养系统化思维公理化方法鼓励学生系统化的思考方式。
在向学生介绍一个概念时，要从概念的定义入手，充分了解概念的意义和运用场景，引导学生弄清概念的基本性质或公理，然后尝试建立该概念与其它概念之间的联系，形成更加系统化的思维方式。
2. 增强创造思维公理化方法提倡对问题产生好奇心、提出假设并实现想法。
在数学教育中，教师应该更多地引导学生在学习过程中积极提问，用自己的思考去探索问题的本质，鼓励学生通过观察、实践、思考等多种方式交流沟通，并引导学生探索问题的深层原因和内在联系，最终做出合理的结论。
3. 增强良好的学习习惯公理化方法讲究严谨的逻辑和语言表达能力。
这使得学生不能掉以轻心，在学习中遵循逻辑严谨的思维方式，加强语言表达的训练，提高学习技巧和策略。
并在学习过程中树立“勤奋、挑战自我、创新、严谨”的良好学习习惯，更多地获得自信和成功。
数学公理化方法的意义和作用2008-9-27 16:06:49——摘自《徐利治谈数学哲学》公理化方法在近代数学的发展中起过巨大的作用，可以说，它对各门现代数学都有极其深刻的影响．即使在数学教学中，公理化方法也是一个十分重要的方法．所谓公理化方法(或公理方法)，就是从尽可能少的无定义的原始概念(基本概念)和一组不证自明的命题(基本公理)出发，利用纯逻辑推理法则，把一门数学理论构造成为演绎系统的一种方法．所谓基本概念和公理，当然必须反映数学实体对象的最单纯的本质和客观关系而并非人们自由意志的随意创造．众所周知，Hilbert l899年出版的《几何学基础》一书是近代数学公理化的典范著作．该书在问世后的二三十年间曾引起西方数学界的一阵公理热，足见其影响之大．Hilbert的几何公理系统实际上是在前人的一一系列工作成果基础上总结出来的，书中的公理条目也曾屡经修改．直到1930年出第七版时，还作了最后修改．这说明一门学科的公理化未必是一次完成的，公理化过程是可以包含着一些发展阶段的．谈到数学公理化的作用，至少可以举出如下四点：(1)这种方法具有分析、总结数学知识的作用．凡取得了公理化结构形式的数学，由于定理与命题均已按逻辑演绎关系串联起来，故使用起来也较方便．(2)公理化方法把一门数学的基础分析得清清楚楚，这就有利于比较各门数学的实质性异同，并能促使和推动新理论的创(3)数学公理化方法在科学方法论上有示范作用．这种方法对现代理论力学及各门自然科学理论的表述方法都起到了积极的借鉴作用．例如，20世纪40年代波兰的Banach曾完成了理论力学的公理化，而物理学家亦把相对论表述为公理化形式……(4)公理化方法所显示的形式的简洁性、条理性和结构的和谐性确实符合美学上的要求，因而为数学活动中贯彻审美原则提供了范例数学公理化方法2007-09-19 23:30§2 数学公理化方法公理化方法在近代数学的发展中起过巨大的作用，它对于各门现代数学都有极其深刻的影响．公理化方法是数学研究的一种基本方法，即使在数学教学中，也是一个十分重要的方法．一、公理化方法的意义和作用所谓公理化方法，就是由尽可能少的不加定义的原始概念(基本概念)和一组不加证明的原始命题(公理或公设)出发，运用逻辑规则推导出其余命题或定理，把一门数学建立成为演绎系统的一种方法．公理化方法不仅在现代数学和数理逻辑中广泛应用，而且已经远远超出数学的范围，渗透到其它自然科学领域甚至某些社会科学部门，并在其中起着重要作用．1．数学公理化方法具有分析、总结数学知识的作用．当一门科学积累了相当丰富的经验知识，需要按照逻辑顺序加以综合整理，使之条理化、系统化，上升到理性认识的时候，公理化方法便是一种有效的手段．如近代数学中的群论，便经历了一个公理化的过程．当人们分别研究了许多具体的群结构以后，发现了它们具有基本的共同属性，就用一个满足一定条件的公理集合来定义群，形成一个群的公理系统，并在这个系统上展开群的理论，推导出一系列定理．2．公理化方法作为数学研究的一个基本方法，不但对建立科学理论体系，训练人的逻辑推理能力，系统地传授科学知识，以及推广科学理论的应用等方面起到有益的作用，而且对于进一步发展科学理论也有独特的作用．例如在代数方面，由于公理化方法的应用，在群论、域论、理想论等理论部门形成了一系列新的概念，建立了一系列新的联系并导致了一系列深远的结果；在几何方面，由于对平行公设的研究导致了非欧几何的创立．因此，公理化方法也是在理论上探索事物发展规律，作出新的发现和预见的一种重要方法．3．公理化方法本身又成为科学研究的对象．介乎于逻辑学和数学之间的边缘学科——数理逻辑，用数学方法研究思维过程中的逻辑规律，也系统地研究数学中的逻辑方法．因此，数学中的公理方法是数理逻辑所研究的一个重要内容．由于数理逻辑是用数学方法研究推理过程的，它对公理化方法进行研究，一方面使公理化方法向着更加形式化和精确化的方向发展，一方面把人的某些思维形式，特别是逻辑推理形式加以公理化，符号化．这种研究使数学工作者增进了使用逻辑方法的自觉性．4．数学公理化方法在科学方法论上具有示范作用．任何一门科学都不仅仅是搜集资料，也决不是一大堆事实及材料的简单积累，而都是有其自身的出发点和符合一定规则的逻辑体系．公理化方法对现代理论力学及各门自然科学理论的表述方法都起到了积极的借鉴作用．例如牛顿在他的《自然哲学的数学原理》巨著中，系统地运用公理化方法表述了经典力学理论体系；本世纪40年代波兰的巴拿赫完成了理论力学的公理化；爱因斯坦运用公理化方法创立了相对论理论体系．狭义相对论的出发点是两个基本假设：相对性原理和光速不变原理．爱因斯坦以此为前提，逻辑地演绎出四个推论：“尺缩效应”、“钟慢效应”、“质量增大效应”和“关系式”．这些就是爱因斯坦运用公理化方法，创立的狭义相对论完整理论体系的精髓．二、公理化方法的产生和发展公理化方法主要是从数学(主要是几何学)和逻辑学的发展中产生的．一般认为公理化方法的历史发展大致可划分为产生、完善和形式化三个阶段．1．公理化方法的产生．公理化方法发展的第一阶段是由亚里斯多德的完全三段论到欧几里得《几何原本》的问世．大约在公元前3世纪，希腊哲学家和逻辑学家亚里斯多德总结了几何学与逻辑学的丰富资料，系统地研究了三段论，以数学及其它演绎的学科为例，把完全三段论作为公理，由此推导出其它所有三段论法，从而使整个三段论体系成为一个公理系统．因此，亚里斯多德在历史上提出了第一个成文的公理系统．亚里斯多德的思想方法深深地影响了当时的希腊数学家欧几里得．欧几里得把形式逻辑的公理演绎方法应用于几何学，从而完成了数学史上的重要著作《几何原本》．他从古代的量地术和关于几何形体的原始直观中，用抽象分析方法提炼出一系列基本概念和公理．他总结概括出14个基本命题，其中有5个公设和9条公理，然后由此出发，运用演绎方法将当时所知的全部几何学知识推演出来，整理成为演绎体系．《几何原本》一书把亚里斯多德初步总结出来的公理化方法应用于数学，整理、总结和发展了希腊古典时期的大量数学知识，在数学发展史上树立了一座不朽的丰碑．公理学研究的对象、性质和关系称为“论域”，这些对象、性质和关系，由初始概念表示．例如欧氏《几何原本》中只需取“点”、“直线”、“平面”；“在……之上”、“在……之间”、“叠合”作为初始概念．前三个概念所表示的三类对象和后三个概念所表示的三种关系就是这种几何的论域．按照“一个公理系统只有一个论域”的观点建立起来的公理学，称为实质公理学．这种公理学是对经验知识的系统整理，公理一般具有自明性．因此，欧氏《几何原本》就是实质公理学的典范．2．公理化方法的发展．《几何原本》虽然开创了数学公理化方法的先河，然而它的公理系统还有许多不够完善的地方，其主要表现在以下几个方面：(1)有些定义使用了一些还未确定涵义的概念；(2)有些定义是多余的；(3)有些定理的证明过程往往依赖于图形的直观；(4)有的公理(即平行公理)是否可用其它公理来证明或代替．这些问题成为后来许多数学家研究的课题，并通过这些问题的研究，使公理化方法不断完善，并促进了数学科学的发展．第五公设(即平行公设)内容复杂，陈述累赘，缺乏象其它公设和公理那样的说服力，并不自明．因此，它能否正确地反映空间形式的性质，引起了古代学者们的怀疑．从古希腊时代到公元18世纪，人们通过不同的途径和方法对这一问题进行了大量的研究工作，其中萨克里( Saccheri，1667—1733)和兰勃特( Lambert，1728-1777)等人考虑了两个可能的与平行公设相反的假设，试图证明出平行公设，但是他们的努力均归于失败．然而，在这些失败中却引出了一串与第五公设相等价的新命题和定理，即非欧几何的公理和定理，它预示了一种新的几何体系可能产生．19世纪年轻的俄国数学家罗巴切夫斯基(Лобачевский1792-1856)产生了与前人完全不同的信念：首先，他认为第五公设不能以其余的公理作为定理来证明；其次，除掉第五公设成立的欧氏几何之外，还可能有第五公设不成立的新几何系统存在．于是，他在剔除第五公设而保留欧氏几何其余公理的前提下，引进与第五公设相反的公理，从而构造了一个全新的几何系统，它与欧氏几何系统相并列．后来人们又证明了这两个部分地相矛盾的几何系统竟是相对相容的，即假定其中之一无矛盾，则另一个必定无矛盾，这样以来，只要这两个系统是无矛盾的，第五公设与欧氏系统的其余公理就必定独立无关．现在人们就用罗巴切夫斯基的名字命名了这一新的几何学，并把一切不同于欧氏几何公理系统的几何系统统称为非欧几何．非欧几何的建立在数学史上具有划时代的意义，标志着人们对空间形式的认识发生了飞跃，从直观空间上升到抽象空间．在建立非欧几何的过程中，公理化方法得到了进一步的发展和完善．3．公理化方法的形式化．德国数学家帕斯(Moritz Pasch，1843-1930)通过对射影几何公理化基础的纯逻辑的探讨，第一次从理论上提出了形式公理学的思想．他认为，几何学如果要成为一门真正的演绎科学，最根本的是推导的进行必须完全独立于几何概念的涵义，同样地也必须不以图形为依据，而所考虑的只能是被命题或定义所确定的几何概念之间的关系．就是说，一个公理系统必然要有本系统里不定义的概念，通过这些概念就可以给其它概念下定义，而不定义概念的全部特征必须由公理表达出来．公理可以说是不定义概念的隐定义．有些公理虽然是由经验提出来的，但当选出一组公理之后，必须不再涉及经验及物理意义．公理决不是自明的真理，而是用以产生任一特殊几何的假定．帕斯的这些思想已经表达了形式公理系统的特征．随着数学的深入研究和射影几何公理系统的建立，形式公理学的概念已经成熟．1899年希尔伯特《几何学基础》一书的发表，不仅给出了欧氏几何的一个形式公理系统，而且解决了公理化方法的一系列逻辑理论问题．这本著作成为形式公理学的奠基著作．希尔伯特几何公理系统，除了有几何模型外，还可以有其它模型(如算术模型)，所以它是一个形式公理系统，可以把其初始概念和公理看成是没有数学内容的，数学内容是通过解释赋予它们的，初始概念和公理完全可以用形式语言来陈述．因此，自从《几何学基础》问世以后，不仅公理化方法进入了数学的其它各个分支，而且也把公理化方法本身推向了形式化的阶段．三、公理化方法的内容和公理系统的构造公理是对诸基本概念相互关系的规定，这些规定必须是必要的而且是合理的．因此，一个严格完善的公理系统，对于公理的选取和设置，必须具备如下三个基本要求：1．相容性(或称无矛盾性、协调性)．这一要求是指在一个公理系统中，不允许同时能证明某一定理及其否定理．反之，如果能从该公理系统中导出命题A 和否命题非A(记作-A)，从A与-A并存就说明出现了矛盾，而矛盾的出现归根到底是由于公理系统本身存在着矛盾的认识，这是思维规律所不容许的．因此，公理系统的无矛盾性要求是一个基本要求，任何学科，理论体系都必须满足这个要求．2．独立性．这一要求是指在一个公理系统中的每一条公理都独立存在，不允许有一条公理能用其它公理把它推导出来，同时使公理的数目减少到最低限度．3．完备性．这就是要求确保从公理系统中能推出所研究的数学分支的全部命题，也就是说，必要的公理不能减少，否则这个数学分支的许多真实命题将得不到理论的证明或者造成一些命题的证明没有充足的理由．从理论上讲，一个公理系统的上述三条要求是必要的，同时也是合理的．至于某个所讨论的公理系统是否满足或能否满足上述要求，甚至能否在理论上证明满足上述要求的公理系统确实存在等，则是另外一回事了．应该指出的是，对于一个较复杂的公理体系来说，要逐一验证这三条要求相当困难，甚至至今不能彻底实现．根据上述三条要求，如何来构造公理系统呢？也就是说，如何运用公理化方法将一门数学整理组织成一个演绎系统呢？一般来说，有三个步骤：1．要积累大量的经验、数据和资料，对这些经验资料进行分析归纳，使之系统化，最后上升为理论．因为公理系统的建立是以大量的事实为基础，以丰富的经验和已有的科学知识为前提的，设此无彼．2．数学公理化的目的是要把一门数学整理成为一个演绎系统，而这一系统的出发点就是一组基本概念和公理．因此，要建立一门数学的演绎系统，就要在第一步的基础上，从原有的资料、数据和经验中选择一些基本概念和确定一组公理，然后由此来定义其它有关概念并证明有关命题．选取的基本概念是不定义概念，必须是无法用更原始、更简单的概念去确定其涵义的，也就是说，它是高度纯化的抽象，是最原始最简单的思想规定．3．在确定了基本概念和公理之后，就要由此出发，经过演绎推理，将一门数学展开成一个严格的理论系统．也就是说，对系统中的每一概念予以定义，而每一个定义中引用的概念必须是基本概念或已定义过的概念；对其它每一命题都给予证明，而在证明中作为论据的命题必须是公理或者已经证明为真实的定理．因此，一门数学的演绎系统就是这门数学的基本概念、公理和定理所构成的逻辑的链条．在上述过程中，从认识论的角度来看，任何公理系统的原始概念和公理的选取必须反映现实对象的本质和关系．就是说，应该有它真实的直观背景而不是凭空臆造．其次，从逻辑的角度看，则不能认为一些概念和公理的任意罗列就能构成一个合理的公理系统，而一个有意义的公理系统必须是一个逻辑相容的体系．四、公理系统的相容性证明一个公理系统的相容性是至关重要的，因为一个理论体系不能矛盾百出．而独立性和完备性的要求则是次要的．因为在一个理论体系中，如果有多余的公理，对于理论的展开没什么妨碍；如果独立的公理不够用，数学史上常常补充一些公理，逐步使之完备．下面仅就公理系统的相容性证明作一介绍．1．问题的产生及历史发展背景．关于相容性征明这一概念的产生和历史发展的背景是这样的：自从罗巴切夫斯基几何诞生后，由于罗氏平行公理(过平面上一已知直线外的一点至少可以引两条直线与该已知直线平行)如此地为常识所不容，这才真正激起了人们对于数学系统的无矛盾性证明的兴趣和重视．后来，庞卡莱(Poincare｀，1854-1912)在欧氏半平面上构造了罗氏几何的模型，把罗氏系统的相容性证明通过一个模型化归为欧氏系统的相容性证明，但却由此导致了人们对欧氏系统相容性的重重疑虑．幸亏那时已经有了解析几何，这就等于在实数系统中构造了一个欧氏几何的模型．这就把欧氏几何的无矛盾性归结到了实数论的相容性．那么实数论的相容性如何？戴德金(Dedekind，1831-1916)把实数定义为有理数的分划，也即有理数的无穷集合，因而把这个无矛盾性归结到了自然数系统的无矛盾性．又由于弗雷格( Frege，1848-1925)的自然数的概念是借助集合的概念加以定义的，因此，归来归去还是把矛盾集中到集合论那里去了．那么集合论的相容性如何？事实上，集合论的相容性正处于严重的“危机”之中，以致这种相容性的证明至今还未解决．2．庞卡莱模型和相对相容性证明．庞卡莱为证明罗氏几何的相容性，在欧氏系统中构造了一个罗氏几何的模型．即在欧氏平面上划一条直线a将其分成上、下两个半平面，把不包括这条直线在内的上半平面作为罗氏平面，其上的欧氏点当作罗氏几何的点，把以该直线上任一点为中心，任一长为半径的半圆周作为罗氏几何的直线，然后对如此规定的罗氏几何元素一一验证罗氏平行公理是成立的．如图4—3所示，过罗氏平面上任一罗氏直线l外的一点P，确实可以作出两条罗氏直线与l平行．因为欧氏直线a上的点不是罗氏几何系统的元素，所以两个半圆相交于直线a上某一点则应看作相交于无穷远点，从而在有穷范围内永不相交．这样以来，如果罗氏系统在今后的展开中出现了正、反两个互相矛盾的命题的话，则只要按上述规定之几何元素间的对应关系进行翻译，立即成为互相矛盾的两个欧氏几何定理．从而欧氏系统就矛盾了．因此，只要承认欧氏系统是无矛盾的，那么罗氏系统一定也是相容的．这就把罗氏系统的相容性证明通过上述庞卡莱模型化归为欧氏系统的相容性证明．这种把一个公理系统的相容性证明化归为另一个看上去比较可靠的公理系统的相容性证明，或者说依靠一个数学系统的无矛盾性来保证另一个数学系统的协调性叫做数学系统的相对相容性证明．3．相容性证明对数学发展的影响．由于相对相容性的出现，使人们对欧氏系统的相容性也忧心重重．而更糟的是，在罗氏系统的展开中人们又发现，罗氏几何空间的极限球面上也可构造欧氏模型，即欧氏几何的全部公理能在罗氏的极限球上实现，于是欧氏几何的相容性又可由罗氏几何的相容性来保证！这说明欧氏与罗氏的公理系统虽然不同，但却是互为相容的．人们当然不满足于两者互相之间的相对相容性证明，因为看上去较为合理的欧氏系统的无矛盾性竟要由看上去很不合理的罗氏系统来保证，这是难以令人满意的．于是人们开始寻求直接的相容性证明，本世纪初数学基础论就诞生了．由于在这一工作中所持的基本观点不同，在数学基础论的研究中形成了诸如逻辑主义派、直觉主义派和形式公理学派三大流派．这些流派虽然并未最后解决相容性证明问题，但在方法论上却各有贡献，他们的方法论、思想方法对于数学的研究与发展都具有重要的意义，有些还值得进一步分析、探讨、继承和发数学公理的前提适用范围采用公理化建立数学，为什么不采用自然化而更加符合真实事实？换而言之，没有公理化就没有数学体系，公理化是数学理论基础的来源。
公理化方法和中学几何公理体系12数学陈婷12220620摘要：数学公理化方法是研究数学的重要思想方法，它对于近代数学和其他自然科学的发展有过巨大作用和深远影响，它很大程度上推动了数学的发展。
而数学的教育更多的是方法和思想的教育，公理化方法在教学教育上有着举足轻重的地位。
本文将从几何发展简史、公理化方法的意义与作用等方面探究公理化方法对中学几何公理体系的影响。
关键词：公理化方法；几何学；发展史；中学几何；教学启示正文：一、几何学发展简史几何学是一门研究『空间』与『移动』的学问.这里的『空间』指的是正统的『几何空间』, 包括各种具体或抽象的几何图形,甚至是整个宇宙空间的几何构造;而『移动』则是这些几何空间的表现,例如:平移,旋转, 对称,波动等等.因此,几何学可说是真实世界与抽象世界的舞台与演员的演出.而数学家Descartes (笛卡儿, 1596 1650)曾说:『人类心智与生俱来有完美,空间,时间和运动等观念.』不论是实际生活上为了丈量与计算的需要,或是对於宇宙空间的好奇与探索,亦或是对於『美』的追求,自从人类开始生活在地球上,几何概念的演进便未曾停歇.而几何学的发展,也使人类开始真正认识我们所生存的宇宙空间。
在史学中，几何学的确立和统一经历了二千多年，数百位数学家做出了不懈的努力。
一）欧氏几何的创始公认的几何学的确立源自公元300 多年前，希腊数学家欧几里得著作《原本》。
欧几里得在《原本》中创造性地用公理法对当时所了解的数学知识作了总结。
全书共有13 卷，包括5 条公理，5 条公设，119 个定义和465 条命题。
这些公设和公理及基本定义成为《原本》的推理的基础。
欧几里得的《原本》是数学史上的一座里程碑，在数学中确立了推理的范式。
他的思想被称作“公理化思想”。
欧几里德几何自诞生两千多年来，因其论证的严密性而被誉为完美无瑕。
但到了19世纪，由于非欧几何的创立，大大提高了公理化方法，数学的严格性标准大为提高，从而欧几里德几何的逻辑缺陷逐渐暴漏出来了，具体将有以下几点：1、在欧式几何中用了重合法来证明全等：在重合法中，首先使用了运动的概念，这样就定性了欧氏几何属于经验综合知识，他与人的经验有关，不属于纯粹知识。
