方法定义

恩格斯曾说过：数学上的所谓公理，是数学需要用作自己出发点的少数思想上的规定。

公理化方法能系统的总结数学知识、清楚地揭示数学的理论基础，有利于比较各个数学分支的本质异同，促进新数学理论的建立和发展。

现代科学发展的基本特点之一，就是科学理论的数学化，而公理化是科学理论成熟和数学化的一个主要特征。

公理化方法不仅在现代数学和数理逻辑中广泛应用，而且已经远远超出数学的范围，渗透到其它自然科学领域甚至某些社会科学部门，并在其中起着重要作用。

历史发展

产生

公理化方法发展的第一阶段是由亚里士多德的完全三段论到欧几里得《几何原本》的问世．大约在公元前3世纪，希腊哲学家和逻辑学家亚里斯多德总结了几何学与逻辑学的丰富资料，系统地研究了三段论，以数学及其它演绎的学科为例，把完全三段论作为公理，由此推导出其它所有三段论法，从而使整个三段论体系成为一个公理系统．因此，亚里斯多德在历史上提出了第一个成文的公理系统。

亚里斯多德的思想方法深深地影响了当时的希腊数学家欧几里得。欧几里得把形式逻辑的公理演绎方法应用于几何学，从而完成了数学史上的重要著作《几何原本》。他从古代的量地术和关于几何形体的原始直观中，用抽象分析方法提炼出一系列基本概念和公理。他总结概括出10个基本命题，其中有5个公设和5条公理，然后由此出发，运用演绎方法将当时所知的全部几何学知识推演出来，整理成为演绎体系。《几何原本》一书把亚里斯多德初步总结出来的公理化方法应用于数学，整理、总结和发展了希腊古典时期的大量数学知识，在数学发展史上树立了一座不朽的丰碑。

公理学研究的对象、性质和关系称为“论域”，这些对象、性质和关系，由初始概念表示。例如欧氏《几何原本》中只需取“点”、“直线”、“平面”；“在……之上”、“在……之间”、“叠合”作为初始概念。前三个概念所表示的三类对象和后三个概念所表示的三种关系就是这种几何的论域。按照“一个公理系统只有一个论域”的观点建立起来的公理学，称为实质公理学。这种公理学是对经验知识的系统整理，公理一般具有自明性。因此，欧氏《几何原本》就是实质公理学的典范。

发展

公理化方法的发展大致经历了这样三个阶段：实质（或实体）公理化阶段、形式公理化阶段和纯形式公理化阶段，用它们建构起来的理论体系典范分别是《几何原本》、《几何基础》和ZFC公理系统。

《几何原本》虽然开创了数学公理化方法的先河，然而它的公理系统还有许多不够完善的地方，其主要表现在以下几个方面：(1)有些定义使用了一些还未确定涵义的概念；(2)有些定义是多余的；(3)有些定理的证明过程往往依赖于图形的直观；(4)有的公理(即平行公理)是否可用其它公理来证明或代替．这些问题成为后来许多数学家研究的课题，并通过这些问题的研究，使公理化方法不断完善，并促进了数学科学的发展。

第五公设(即平行公设)内容复杂，陈述累赘，缺乏象其它公设和公理那样的说服力，并不自明。因此，它能否正确地反映空间形式的性质，引起了古代学者们的怀疑。从古希腊时代到公元18世纪，人们通过不同的途径和方法对这一问题进行了大量的研究工作，其中萨克里( Saccheri，1667—1733)和兰勃特( Lambert，1728-1777)等人考虑了两个可能的与平行公设相反的假设，试图证明出平行公设，但是他们的努力均归于失败．然而，在这些失败中却引出了一串与第五公设相等价的新命题和定理，即非欧几何的公理和定理，它预示了一种新的几何体系可能产生。

19世纪年轻的俄国数学家罗巴切夫斯基(Лобачевский1792-1856)产生了与前人完全不同的信念：首先，他认为第五公设不能以其余的公理作为定理来证明；其次，除掉第五公设成立的欧氏几何之外，还可能有第五公设不成立的新几何系统存在。于是，他在剔除第五公设而保留欧氏几何其余公理的前提下，引进与第五公设相反的公理，从而构造了一个全新的几何系统，它与欧氏几何系统相并列。后来人们又证明了这两个部分地相矛盾的几何系统竟是相对相容的，即假定其中之一无矛盾，则另一个必定无矛盾，这样以来，只要这两个系统是无矛盾的，第五公设与欧氏系统的其余公理就必定独立无关。现在人们就用罗巴切夫斯基的名字命名了这一新的几何学，并把一切不同于欧氏几何公理系统的几何系统统称为非欧几何。

非欧几何的建立在数学史上具有划时代的意义，标志着人们对空间形式的认识发生了飞跃，从直观空间上升到抽象空间。在建立非欧几何的过程中，公理化方法得到了进一步的发展和完善。

形式化

德国数学家帕斯(Moritz Pasch，1843-1930)通过对射影几何公理化基础的纯逻辑的探讨，第一次从理论上提出了形式公理学的思想。他认为，几何学如果要成为一门真正的演绎科学，最根本的是推导的进行必须完全独立于几何概念的涵义，同样地也必须不以图形为依据，而所考虑的只能是被命题或定义所确定的几何概念之间的关系。就是说，一个公理系统必然要有本系统里不定义的概念，通过这些概念就可以给其它概念下定义，而不定义概念的全部特征必须由公理表达出来。公理可以说是不定义概念的隐定义。有些公理虽然是由经验提出来的，但当选出一组公理之后，必须不再涉及经验及物理意义。公理决不是自明的真理，而是用以产生任一特殊几何的假定。帕斯的这些思想已经表达了形式公理系统的特征。

随着数学的深入研究和射影几何公理系统的建立，形式公理学的概念已经成熟。1899年希尔伯特《几何学基础》一书的发表，不仅给出了欧氏几何的一个形式公理系统，而且解决了公理化方法的一系列逻辑理论问题。这本著作成为形式公理学的奠基著作。