04第四讲 构建数学理论的基本方法——公理化方法
04第四讲 构建数学理论的基本方法——公理化方法
（about 325 BC——about 265 BC）
Greek geometer
Quotations: "The laws of nature are but the mathematical thoughts of God." "There is no royal road to geometry."
于是，他在剔除第五公设而保留欧氏几何其余公理、 公设的前提下，引进了一个相反于第五公设的公理： “过平面上一已知直线外的一点至少可以引两条直线与 该已知直线不相交”。这样，罗巴切夫斯基就构造出来 了一个新的几何系统即罗巴切夫斯基几何系统，它与 欧几里得几何系统相并列。
后来，人们又证明了这两个部分地互相矛盾的几何系 统竟然是相对相容的，亦即假定其中之一无矛盾，则 另一个必定无矛盾。这样，罗氏几何的地位就得到了 确立。
《几何原本》受到了毕达哥拉斯学派和亚里士多德的 影响
毕达哥拉斯学派开创了把几何学作为证明的演绎学科来进行 研究的方向，
亚里士多德首创造公理化思想，提出了逻辑学的“三段论公 理体系”。
欧几里德首先指明了几何学的研究对象，即点、线、 面，在对这些对象进行“定义”（其实只是说明）以后， 引进了关于这些对象的一些明显的事实作为不加证明 而采用的5个公设，进而又引进了更为一般的5个断言 作为公理，他通过这些公理、公设，逐步推演出465个 命题。
故能以其易易他物之至难．易生于简，简生于明，综 1857年，清代数学家李善兰
其妙在明而已”．
——徐光启《几何原本杂议》
与英国传教士伟烈亚力合作 续译的《几何原本》后9卷正 式刊行．
非欧几何
长期以来，不少数学家就对第五公设（即平行公设） 持保留态度。
公理化方法在高中数学教学中的意义和作用5页
公理化方法在高中数学教学中的意义和作用一、引言公理化方法是高中数学教学中的重要方法。
本篇论文在介绍公理化方法的基础上，着重阐述了公理化方法在高中数学教学中的意义和作用，以及如何应用。
二、公理化方法的简介1、公理化方法的概念和思想公理化方法是以若干个显然成立的或者通过简单证明能够成立的基本定理为基础，去解决问题的一种方法。
公理化方法的出发点就是一组原始概念和公理，因此如何去选择原始概念和设置公理是公理化的关键。
2、公理化方法的基本法则公理化方法的公理需满足下列几项要求：（1）公理需要是显然成立的，或者容易证明成立的。
（2）独立性：公理化的独立性是指公理系统中所有公理不能互相推出。
（3）全面性：要求公理要全面，能通过选择的这些公理解决所研究的数学方面的问题以高中数学的立体几何为例，在研究平面的问题中，建立了三个公理，这三个公理满足了上述的三项要求，每个公理都是显然成立的，都是独立的，并且通过这三个公理我们可以解决平面的所有问题。
三、公理化方法在中学数学教学上的意义和作用1、公理化方法对中学数学教学的启示（1）对数学教学内容的启示a强调已有知识经验在学习中的重要性教师应努力创设情境激活学生原有认知结构中与新知识学习有关的各种基础知识，让学生能在已经掌握的知识的基础上，进行思考新学习的内容，以保证学生学习的顺利进行。
b对数学教学内容呈现的思考为了提高学生的综合素质，近几年新课程改革轰轰烈烈地进行着，这也就促使我们思考这样一个问题：初等数学教学应该如何呈现数学教学内容呢？数学是培养学生逻辑思维能力的一种很有用的方法，而逻辑思维能力是公理化方法的一个主要特征，因此，对于中学数学内容的选取应综合各方面的因素，在学生可接受的前提下，以一种相对严谨的公理化方式，渐进地使学生了解公理化方法的思想内核，从而培养学生的逻辑思维，演绎推理能力。
（2）对教学过程中师生地位作用的启示公理化方法认为：学习是在已经掌握了的知识上进行思考。
浅谈数学公理化方法
方法 。首 先 ， 作为探索新 知识 的手段 ， 常从一组假 设的公理 出发 ， 由逻辑推 理建立新 的体 系 ， 能否得 出新 的结 果 ， 看 若 有新结果 出现 ， 则最终经 实践 检验而发展 数学 ， 至建立新 甚 的学科 ， 从欧 氏几何 到非 欧氏几何 的发展 ， 便是一 个典型 的 例子 。抽象代数 中的全部开拓工作 ， 都是依靠公理化方法实
４ 公理 化 方法 的作 用
从现代数学和 自然科 学与技术 的发 展来看 ，公理 化方 法 有 着 重要 的作 用 。 第 一，公理化方 法是整 理数学知 识为一个严 格逻辑 体 系、 建立数学逻辑基础的方法 。首先 ， 作为整理 材料 的作用 ， 《 几何原本》 中的公 理 、 皮亚诺 自然数公 理 、０世纪 初概率公 ２ 理的建立 、 近代 数学 中群论 的公理 系统 的建立 ， 都充 分显示 了公 理方 法整理数学知识 的功能 。用公理方法建构 的体系 ， 条理 清楚 、 简明扼要 ， 命题之 间有机联系 ， 便于流传 与推广 。 其次 ，形式化公理方法 在数理逻辑 的一 个基本领域——元 数学 （ 即证 明论 ） 中得 到 充分 的研 究 与 发 展 。 目前 ， 是研 究 它 数学 基 础 问题 的一 个 十分 重 要 和 广 泛 使 用 的工 具 。再 有 ， 通 过形 式化公理方法建立 的形 式系统 ，对 于计 算机科学有重 要 意义 ，因为它提供 的形式语 言和算法构成 了计算机科学 的必 要 前 提 和 逻 辑 基 础 。 第二 ， 数学公理 化方法是探 索新知 识 ， 发展数学 的一种
现的 。
３公 理化 方 法的基 本 内容
为了把某一 门数 学表达为演绎 系统 ，需要选择 一组基 本概念和公 理作 为出发点 ， 因此 ， 如何 选择一组基本 概念和 公 理便 是运 用公 理 化 方 法 的 关 键 所 在 ，这 也 是 公 理 化 方 法
公理化方法(精)
现代公理法的意义与作用
公理化方法是加工、整理知识，建立科学理论的工 具，公理系统的形成是数学分支发展的新起点。 公理化方法有助于发现新的数学成果，可以探索各 个数学分支的逻辑结构，发现新问题，促进和推动 新理论的创立和发展。 公理化方法是建立某些抽象学科的基础。 公理化方法对各门自然科学的表述具有积极的借鉴 作用。 公理化方法对于学生理解和掌握数学知识、数学方 法及培养学生逻辑思维能力具有重要作用。
进一步的工作
集合论悖论的出现，又一次引起了数学基础的危机。 希尔伯特的元数学（证明论）：（1）证明古典数学 的每一个分支都可以公理化；（2）证明每一个这样 的系统都是完备的、相容的；（3）证明每一个这样 的系统所应用的模型都是同构的；（4）寻找这样一 种方法，借助于它，可以在有限步骤内判断任一命 题的可证明性。 元数学理论的研究使公理化方法进一步精确化，把 公理化方法发展到一个新的阶段。形式化公理法不 仅推动了数学基础的研究，而且为计算机的广泛应 用开辟了广泛的前景。
公理化方法的思想源流
历史上第一个给出公理系统的学者是亚里士多德，他 在其《工具书》中，总结了古代积累起来的逻辑知识， 并以数学及其它学科为例，把完全三段论作为公理， 由此推出了别的所有三段论。 第一个在“知其然”的同时提出“知其所以然”的学 者是古希腊哲学家和数学家泰勒斯，他第一个证明了 下面定理(1)一个圆被它的一个直径所平分；（2）三 角形内角和等于两直角之和；（3）等腰三角形的两底 角相等；（4）半圆上的圆周角是直角；（5）对顶角 相等；（6）全等三角形的ASA定理。所以泰勒斯被称 为论证之父。
自然数
在N上定义加法：f：N×N→N (n,m) →n+m 满足：（1）n+1 = n ( n m ) m （2）n+ = 在N上定义乘法：f：N×N→N (n,m) →n·m 满足：（1）n·1=n （2）n· m =n·m+n
公理化方法的发展及其对数学教育的启示
公理化方法的发展及其对数学教育的启示公理化方法是现代数学发展的重要方法，它的出现使得数学能够更加清晰、系统、严谨地表达出来。
公理化方法不仅改变了数学的面貌，也对数学教育产生了深远影响。
本文主要从公理化方法的发展和它对数学教育的启示两个方面来探讨公理化方法的意义。
一、公理化方法的发展公理化方法的起源可以追溯到希腊数学家欧几里德。
他在《几何原本》中的公理化方法对现代数学的发展造成了深远的影响。
欧几里德的公理化方法是以一些自然显然的个人经验作为基础，进行逻辑推理，从而证明定理的正确性。
后来在十九世纪末，希尔伯特提出了公理化方法的新理念：从极端简单的、自明的判断开始，利用逻辑细节的证明过程建立起大量的数学理论。
公理化方法的本质是从基本事实着手，通过推演、证明和求解来得出定理和结论。
由于基本事实不会被证明或推导出来，其默认为真，需要从中推导所有其它是定理或推论。
由此，公理化方法不仅仅是逻辑方法，而且是一种需要语言和符号体系去完备表达的方法。
公理化方法要求对不同领域的知识进行分解、分类、梳理和整合，从而形成一个清晰、明确、有序的知识结构。
1. 培养系统化思维公理化方法鼓励学生系统化的思考方式。
在向学生介绍一个概念时，要从概念的定义入手，充分了解概念的意义和运用场景，引导学生弄清概念的基本性质或公理，然后尝试建立该概念与其它概念之间的联系，形成更加系统化的思维方式。
2. 增强创造思维公理化方法提倡对问题产生好奇心、提出假设并实现想法。
在数学教育中，教师应该更多地引导学生在学习过程中积极提问，用自己的思考去探索问题的本质，鼓励学生通过观察、实践、思考等多种方式交流沟通，并引导学生探索问题的深层原因和内在联系，最终做出合理的结论。
3. 增强良好的学习习惯公理化方法讲究严谨的逻辑和语言表达能力。
这使得学生不能掉以轻心，在学习中遵循逻辑严谨的思维方式，加强语言表达的训练，提高学习技巧和策略。
并在学习过程中树立“勤奋、挑战自我、创新、严谨”的良好学习习惯，更多地获得自信和成功。
公理法
公理法选取少数不加定义的原始概念（基本概念）和无条件承认的规定（公理）作为出发点，再加以严格的逻辑推理，将某一数学分支建成演绎系统的方法，叫数学系统的公理化方法，简称“公理法”．两千多年来，欧几里得的《几何原本》在传播几何知识方面做出了巨大的贡献，并一直被人们作为标准的教科书使用．《几何原本》的特点是建立了一个比较严密的几何体系，提出了几何学的“根据”和它的逻辑结构问题．但是，随着时间的推移，人们逐渐发现《几何原本》的体系还存在不少破绽和漏洞，例如使用一些未知的定义来解释另一个未知的定义，这样的定义既不能逻辑地确定几何名词和术语，也不能在逻辑推理中起作用；《几何原本》也使用了一些未曾定义的概念，如“连续”的概念就未定义而被使用．正是由于对《几何原本》在逻辑结构方面存在的破绽和漏洞的发现，推动了几何学的不断发展．1899年，德国数学家希尔伯特在他的《几何基础》一书中，首次用公理化的方法提出了一个比较完善的几何学的公理系统，即希尔伯特公理体系，克服了《几何原本》中的一些缺点．希尔伯特公理体系的主要思想包含：（1）把几何中的点、直线、平面等概念，作为不加定义的“原始”概念，叫基本对象．（2）给出几何元素的一些基本关系：结合关系、顺序关系、合同关系．（3）规定了五组公理，用它阐述基本对象的性质．希尔伯特还提出建立一个公理化体系的原则，即在一个公理体系中，取哪些为公理，应包含多少公理，必须考虑以下三点：第一，相容性，即各公理必须是互相不矛盾的，同存于一个体系中．第二，独立性，即每条公理都是各自独立的，不能由其他公理推出．第三，完备性，即体系中所包含的公理应足以推出本学科的任何命题．欧几里得的几何体系实际上是公理化体系的雏形，常称之为古典公理体系．公理化方法给几何学的研究带来了一个新的观点．在公理体系中，由于基本对象不加以定义，因此就不必考虑研究对象的直观形象，只要研究抽象的对象之间的关系、性质．凡符合公理体系的元素都可以作为这个几何体系的直观解释，或称几何学的模型．因此，几何学的研究对象更广泛，其含义也更抽象．20世纪以来，由于公理化方法在研究几何基础方面所取得的成就，促使公理化方法渗透到数学的其他分支，诸如代数、泛函、拓朴等比较抽象的数学分支的研究．公理化方法对近代数学的发展所产生的巨大影响，已成为举世公认的事实，公理化方法早已超过数学理论范围，进入其他自然科学的领域．如本世纪40年代波兰数学家巴拿赫完成了理论力学的公理化，物理学家还将相对论表述为公理体系等等．当然，公理化方法若不与实验方法相结合，不与科学方法相结合，也不会更好地解决和发现问题．公理法选取少数不加定义的原始概念（基本概念）和无条件承认的规定（公理）作为出发点，再加以严格的逻辑推理，将某一数学分支建成演绎系统的方法，叫数学系统的公理化方法，简称“公理法”．两千多年来，欧几里得的《几何原本》在传播几何知识方面做出了巨大的贡献，并一直被人们作为标准的教科书使用．《几何原本》的特点是建立了一个比较严密的几何体系，提出了几何学的“根据”和它的逻辑结构问题．但是，随着时间的推移，人们逐渐发现《几何原本》的体系还存在不少破绽和漏洞，例如使用一些未知的定义来解释另一个未知的定义，这样的定义既不能逻辑地确定几何名词和术语，也不能在逻辑推理中起作用；《几何原本》也使用了一些未曾定义的概念，如“连续”的概念就未定义而被使用．正是由于对《几何原本》在逻辑结构方面存在的破绽和漏洞的发现，推动了几何学的不断发展．1899年，德国数学家希尔伯特在他的《几何基础》一书中，首次用公理化的方法提出了一个比较完善的几何学的公理系统，即希尔伯特公理体系，克服了《几何原本》中的一些缺点．希尔伯特公理体系的主要思想包含：（1）把几何中的点、直线、平面等概念，作为不加定义的“原始”概念，叫基本对象．（2）给出几何元素的一些基本关系：结合关系、顺序关系、合同关系．（3）规定了五组公理，用它阐述基本对象的性质．希尔伯特还提出建立一个公理化体系的原则，即在一个公理体系中，取哪些为公理，应包含多少公理，必须考虑以下三点：第一，相容性，即各公理必须是互相不矛盾的，同存于一个体系中．第二，独立性，即每条公理都是各自独立的，不能由其他公理推出．第三，完备性，即体系中所包含的公理应足以推出本学科的任何命题．欧几里得的几何体系实际上是公理化体系的雏形，常称之为古典公理体系．公理化方法给几何学的研究带来了一个新的观点．在公理体系中，由于基本对象不加以定义，因此就不必考虑研究对象的直观形象，只要研究抽象的对象之间的关系、性质．凡符合公理体系的元素都可以作为这个几何体系的直观解释，或称几何学的模型．因此，几何学的研究对象更广泛，其含义也更抽象．20世纪以来，由于公理化方法在研究几何基础方面所取得的成就，促使公理化方法渗透到数学的其他分支，诸如代数、泛函、拓朴等比较抽象的数学分支的研究．公理化方法对近代数学的发展所产生的巨大影响，已成为举世公认的事实，公理化方法早已超过数学理论范围，进入其他自然科学的领域．如本世纪40年代波兰数学家巴拿赫完成了理论力学的公理化，物理学家还将相对论表述为公理体系等等．当然，公理化方法若不与实验方法相结合，不与科学方法相结合，也不会更好地解决和发现问题．。
数学公理化方法
§5.3 使用RMI方法的条件从前述各例，我们可以归纳出正确使用RMI方法的条件。
（1）映射ϕ须是两类数学对象之间的一一对应关系；（2）所采用的映射ϕ须是可定映的，即目标映象能通过确定的有限多个数学手续从映象关系结构系统中寻求出来；ϕ必须具有能行性，即通过目标映象能将目标原象的某种（3）相对的逆映射（反演）-1需要的性态经过有限步骤确定下来。
以上几点也从另一角度说明，RMI方法并非是处处适应的万能法则。
正确有效地应用RMI方法的关键显然在于引进合乎要求的映射，这就要求使用者在如下方面去努力：一是理解原象关系结构系统的能力；二是抽象分析的能力；三是运用数学手段的能力；四是掌握常用的方法与变换的能力；五是寻求反演公式与手段的能力。
ϕ的可定映射ϕ，谁数学史的发展表明，谁能巧妙地引进非常有效且具有能行性反演-1就对数学的发展作出贡献。
反之，正因数学自身的发展（特别是它的现代发展），不断产生了一些新的重要的映射工具，也就为RMI方法的运用展示了更广阔的前景。
129第六章数学公理化方法数学公理化方法是一种演绎的方法，当一个理论体系达到充分发展，需要以演绎的形式来表达它的基本范畴之间，原理、原则之间的关系，形成逐渐演进和发展时，公理化方法是最为有力的手段。
可以说，它对各门数学分支学科都产生着巨大的影响，即使在数学教育中，也起着重要的作用。
§6.1数学公理化方法的意义所谓公理化方法就是从尽可能少的不加定义的原始概念和不加证明的原始命题（公理、公社）出发，按照逻辑规则推到出其他命题，建立起一个演绎系统的方法。
数学发展的历史有力地表明公理化方法在数学方法中有着重要的意义。
我们可以归纳出如下几点：1．总结性：恩格斯说：“数学上的所谓公理，是数学需要用作自己出发点的少数思想上的规定。
”这种方法将数学知识的概念、命题的形式进行了分析和总结，凡是得了公理化结构形式的数学，均可在已形成的逻辑关联中去使用。
第四章 数学中的公理化方法
§4.1公理化方法的历史概述
• 公理化方法的历史考察 • 众所周知，在长达一千多年的光辉灿烂的希腊文化中，
哲学、逻辑学、几何学得到了很大的发展，特别是哲学家 和逻辑学家亚里斯多德，总结了前人所发现和创立的逻辑 知识，以完全三段论作为出发点，用演绎的方法推导出其 余十九个不同格式的所有三段论，创立了人类历史上第一 个公理化方法，即逻辑公理化方法，从而为数学公理化方 法创造了条件。
§4.1公理化方法的历史概述
萨克利最先使用归谬法来证明第五公设。他
在一本名叫《欧几里得无懈可击》（1733年）
的书中，从著名的“萨克利四边形”出发来证明
平行公设。
萨克利四边形是一个等腰双直角四边形，
如图，其中 AC BD,A B 且为直角。
萨克利指出，顶 C
D
角具有三种可能性并
分别将它们命名为：
第四章 数学中的公理化方法 与结构方法
• 公理化方法在近代数学的发展中起着基本 的作用，它的思想对各门现代数学理论的系统 形成有着深刻的影响，而数学结构方法则是全 面整理和分析数学的一种十分合理的方法，其 观点曾导致一场几乎席卷世界的数学教学改革 运动，即“新数学”运动。
• 两种方法均是用来构建数学理论体系的， 一个是局部，一个是整体。
§4.1公理化方法的历史概述
• 在1854年又发现了钝角假设（三角形内角和 大于180°）也成立的黎曼几何系统，后来人们称 这两种几何为非欧几何。
• 非欧几何产生后，还有两方面的问题有待进 一步解决。从逻辑方面看，这种逻辑无矛盾性还 有待于从理论上得到严格证明；从实践方面看， 非欧几何的客观原型是什么？人们还不清楚。也 就是说，非欧几何到底反映了哪种空间形式也没 有得到具体的解释。
亚里斯多德的思想方法深深地影响了公元前3世纪的 希腊数学家欧几里德，后者把形式逻辑的公理演绎方法 应用于几何学，从而完成了数学史上重要著作《几何原 本》。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
Proclus Diadochus
普罗克洛斯 （411—485）,Greece
John Playfair （1748—1819）,Scotland
Adrien-Marie Legendre
（1752—1833），France
但是所有试证第五公设的努力均归于失败，在这些失败之中唯 一引出的正面结果便是一串与第五公设等价的命题被发现。
At the Paris International Congress of 1900, Hilbert proposed 23 outstanding problems in mathematics to whose solutions he thought twentieth century mathematicians should devote themselves. These problems have come to be known as Hilbert's problems, and a number still remain unsolved today.
它所体现的演绎美对数学美学思想的发展也起到了不可低估的作 用，它让“世界第一次目睹了一个逻辑体系的奇迹，这个逻辑体系 如此精密地一步一步推进……，推理的这种可赞叹的胜利，使人 类理智获得了为取得以后的成就所必须的信心”（爱因斯坦语）。
几何的辉煌之处就在于只用很少的公理而得到如此之多的结
它倡导的公理化方法，为数学家和物理学家树立了 如何建立科学理论体系的光辉典范。
公理化方法的发展，大致经历了这样三个阶段： 实质（或实体）公理化阶段、形式公理化阶段 和纯形式公理化阶段，用它们建构起来的理论 体系典范分别是《几何原本》、《几何基础》
和 ZFC公理系统。
数学公理化方法的历史演进
——关于几何公理体系
欧几里德几何
历史上第一个用公理化方法去建构数学理论体 系的是欧几里德（Euclid），他的工作集中体现 在他的《几何原本》中。
在总结前人失败教训的基础上，1826年，俄国年轻的
数学家罗巴切夫斯基（Nicolai Lobachevsky）从问题
的反面考虑，大胆地提出了与前人完全不同的信念：
首先，他认为第五公设不能以其余的几何公理作为前提来进 行证明，即第五公设相对于其它公理、公设是独立的；
其次，更进一步，他认为除去第五公设成立的欧几里得几何 之外，还可以有第五公设不成立的新几何系统存在。
因为
它在陈述和内容上显得复杂和累赘。人们怀疑这条公设是多 余的，它可能能从其它公设、公理中逻辑地推导出来。
而且进一步认为，欧几里得之所以把它当作公设，只是因为 他未能给出这一命题的证明。
因而数学家们纷纷致力于证明第五公设，据说 在欧几里得以后的两千多年时间里，几乎难以 发现一个没有试证过第五公设的大数学家。
徐光启和利玛窦译的《几何 原本》前6卷，乃是东方的最 早译本(不计阿拉伯文本). 较 俄译本(1739)、瑞典文本 (1744)、丹麦文本(1745)、 波兰文本(1817)都早．
“此书有四不必：不必疑、不必揣、不必试、不必 改．有四不可得：欲脱之不可得，欲驳之不可得，欲 减之不可得，欲前后更置之不可得．有三至三能：似 至晦，实至明，故能以其明明他物之至晦；似至繁， 实至简，故能以其简简他物之至繁；似至难，实至易，
It is also the world's second most popular book, coming only behind the Holy Bible which is extraordinary considering how many books there are in the world.
《几何原本》受到了毕达哥拉斯学派和亚里士多德的 影响
毕达哥拉斯学派开创了把几何学作为证明的演绎学科来进行 研究的方向，
亚里士多德首创造公理化思想，提出了逻辑学的“三段论公 理体系”。
欧几里德首先指明了几何学的研究对象，即点、线、 面，在对这些对象进行“定义”（其实只是说明）以后， 引进了关于这些对象的一些明显的事实作为不加证明 而采用的5个公设，进而又引进了更为一般的5个断言 作为公理，他通过这些公理、公设，逐步推演出465个 命题。
牛顿采用欧几里德的公理化方法，把他之前的众多的物理 学家（如哥白尼、伽俐略、开普勒等）研究的力学知识排 列成逻辑的体系，组成一个有机的整体。他的名著《自然 哲学的数学原理》从力学三大运动定律出发，按照数学的 逻辑推理把力学定理逐个必然地引申出来。
About Elements
The Elements have been studied for over 20 centuries in many languages starting, in its original Greek form, then in Arabic, Latin, and then to modern languages of the present time.
于是，他在剔除第五公设而保留欧氏几何其余公理、 公设的前提下，引进了一个相反于第五公设的公理： “过平面上一已知直线外的一点至少可以引两条直线与 该已知直线不相交”。这样，罗巴切夫斯基就构造出来 了一个新的几何系统即罗巴切夫斯基几何系统，它与 欧几里得几何系统相并列。
后来，人们又证明了这两个部分地互相矛盾的几何系 统竟然是相对相容的，亦即假定其中之一无矛盾，则 另一个必定无矛盾。这样，罗氏几何的地位就得到了 确立。
Founders of Non-Euclidean Geometry
Nikolai Ivanovich Lobachevsky (1793-1856) Russia
Johann Carl Friedrich Gauss
(1777-1855) Germany
János Bolyai
(1802-1860)
Hungary
在罗氏几何创立28年以后，1854年黎曼（Georg Riemann，
1826—1866）又建立了另外一种“过直线外一点不能引出与该 直线不相交的直线”的几何新体系——黎曼几何。 如所知，黎曼几何在爱因斯坦1915年创立“广义相对论”后，已 得到了证实和应用。
Georg Friedrich Bernhard Riemann (1826-1866)
罗巴切夫斯基几何（也叫双曲几何）与黎曼几 何（也叫椭圆几何）这两种几何统称为非欧几 何。
非欧几何的发现是数学史上一个重要的里程碑， 而欧氏几何与非欧几何的天壤之别，根源仅仅 在于一条平行公理的不同，这充分显示出公理 化方法的威力。
几何基础
非欧几何的创立大大地促进了几何基础研究的进展， 也大大地提高了公理化方法的信誉，接着便有许多数 学家致力于公理化方法的研究。
Euclid of Alexandria
（about 325 BC——about 265 BC）
Greek geometer
Quotations: "The laws of nature are but the mathematical thoughts of God." "There is no royal road to geometry."
A.Fraenkel 弗兰克尔
About Hilbert
David Hilbert (1862-1943)
German mathematician who set forth the first rigorous set of geometrical axioms in
Foundations of Geometry (1899).He also proved
数学上的所谓公理，是数学需要用作自己 出发点的少数思想上的规识、清楚地揭 示数学的理论基础，有利于比较各个数学分支 的本质异同，促进新数学理论的建立和发展。
现代科学发展的基本特点之一，就是科学理论 的数学化，而公理化是科学理论成熟和数学化 的一个主要特征。
第四讲
构建数学理论的基本方法 ——公理化方法
本讲内容
z 数学公理化方法的历史演进过程——关于几何 公理体系
z 实质公理化与形式公理化 z 数学公理化方法的逻辑特征
所谓公理化方法，就是指从尽可能少的原始概 念和不加证明的原始命题（即公理、公设）出 发，按照逻辑规则推导出其它命题，建立起一 个演绎系统的方法。
故能以其易易他物之至难．易生于简，简生于明，综 1857年，清代数学家李善兰
其妙在明而已”．
——徐光启《几何原本杂议》
与英国传教士伟烈亚力合作 续译的《几何原本》后9卷正 式刊行．
非欧几何
长期以来，不少数学家就对第五公设（即平行公设） 持保留态度。
若平面上一直线和两直线相交，当同旁两内角之和小 于二直角时，则两直线在这一侧延长后一定相交。
1871—1872年间，德国数学家康托（Cantor）与戴德金 （Dedekind）不约而同地拟成了连续性公理。
1882年，德国数学家巴士（Pasch）又拟成了顺序公理。
正是在这样的基础上，希尔伯特（David Hilbert）于
1899年发表了《几何基础》一书。
他通过引进一些基本概念（基本元素包括点、线、面，基本关 系包括结合、顺序、合同），用结合、顺序、合同、平行、连 续这5组公理（共20条）来确定基本概念的涵义并进行逻辑演绎， 展开几何理论，形成了一个简明、完整、逻辑严谨的几何形式 化公理系统，从而最终地解决了欧氏几何的缺陷，完善了几何 学的公理化方法。
his system to be self-consistent.
His many contributions span number theory
(Zahlbericht), mathematical logic, differential