第六讲 公理化思想及构成公理化体系的要求

公理化的基本思想
题目：
公理化方法的基本思想及其优越性、局限性?
答案：
基本思想:从尽可能产的原始概念和原始命题出发,经过严格的逻辑推理,建立起理论体系的方法。

严格按照逻辑规律、逻辑原则运行,用尽可能少的原始命题、原始概念是这个方法的基本要求。

优越性:①具有逻辑简单性;②具有可检验性;②具有逻辑严谨性;可缩短学习的进程。

局限性:即公理化体系的不完备性。

①任何一个公理化体系不可能既是完备的,又是无矛盾的;②任何一个公理化体系,都是人类认识的一个阶段的总结,都是不可能是绝对严格、绝对完备的。

延伸：
公理化思想是指以某些命题为前提，只用它们，不用其他假设进行推理而建立数学理论的思想。

支撑近现代数学的基本思想。

早在公元前 3 世纪，希腊数学家欧几里得用由反复实践所证实而被认为不需要证明的少数命题为前提，用逻辑推理的方法，将前人在几何方面的研究成果整理成《几何原本》，这些少数命题被称为公理或公设。

从尽可能少的不定义的原始概念(基本概念)和一组不加证明的命题(公理)出发，经过精确定义和逻辑推理而得到其他的全部概念和定理的系统的方法。

公理化方法最早是由希腊数学家欧几里得系统运用的。

在其所著的《几何原本》里首先定义了基本概念，包括点、线、面、角、圆、三角形等，然后提出了5个公设和5个公理，之后由这些公设和公理通过演绎推理得到命题。

演绎推理中每个证明必须以公理，或者被证明了的定理为前提。

纵观中国史书，并没有任何一本可以与欧几里得几何可以相媲美的知识体系和思维的严密性，四书五经只能算是伦理学的规范，合理性也没有得到任何的证明，却充当了限制人灵魂的清规戒律。

公理化体系公理化体系今天，公理方法在数学研究中受到普遍重视，但在自然科学研究中却受到普遍怀疑和抑制。

这种情况是与科学发展的历史相关的。

众所周知，公理化体系最先是由欧几里得创立的。

所谓公理本意是指人们公认的、无需证明的道理。

正因为如此，欧几里得的几何学一度被认为是绝对真理。

但非欧几何的出现改变了人们关于公理的观念，特别是，面对以互为否定的命题为前提建立的不同公理体系，数学家们开始困惑了：数学能够揭示真理吗？这个问题又可分解为：数学是反映什么的？数学真理是什么真理？公理理论是纯数学的还是科学的共同理论？根据统一论对数学本质的揭示，数学是研究各种空间体系的科学理论。

不管是什么数学理论，它都有着固定的空间模式，几何学是这样，代数学也是这样。

当然，这个空间并不是我们生活在其中的空间，而是各种不同的数学模型。

我们所生活的空间是个现实的空间，而科学理论中的空间是一些抽象的空间，是由数学理论所界定的。

我们每一个人都生活在同一个现实空间中，但却生活在不同的理论空间中，而这正是构成不同的人文环境的原因。

不管是对自然界还是对社会的各个方面，比如对宇宙、对政治、对经济、对文化等领域，我们每个人都有不同的理解，而空间就是由这些理解构成的。

所以说，数学能够揭示真理，但它揭示的是一种主观真理。

科学真理包括主观真理和客观真理。

所谓客观真理当然是关于客体的，没有对客体的科学认识，就谈不上客观真理。

对客体的科学认识包括定性认识和定量认识，所谓定性认识是自然哲学的任务，而定量认识则是数学的任务。

所以说，自然科学就是自然哲学加数学。

牛顿把它的物理体系叫做"自然哲学的数学原理"，大概就是这个原因吧。

同样，社会科学就是社会哲学加数学。

从这点来看，今天我们称为社会科学的许多理论，它们并未应用数学或对数学的应用还很幼稚，这种理论实际上还没有进入科学阶段，还只能被叫做社会哲学。

前面说过，公理化理论由于非欧几何的出现而受到质疑。

数理逻辑的基本公理化和形式系统数理逻辑是研究推理和论证的科学，它通过建立形式系统和公理化推导来研究命题的真值和推理的规则。

本文将探讨数理逻辑的基本公理化和形式系统。

一、公理化方法的引入公理化方法是数理逻辑的核心思想之一。

公理化方法的基本思想是通过一组公理来描述命题的性质和推理的规则，从而建立一个形式系统。

这个形式系统由符号和推导规则组成，通过这些规则可以从公理推导出定理。

二、形式系统的构建形式系统是数理逻辑的基础，它由符号、公式和推导规则组成。

符号是形式系统中的基本元素，可以是命题符号、逻辑连接词和量词等。

公式是由符号按照一定规则组合而成的表达式，用来表示命题的真值。

推导规则则是指导推理过程的规则，它规定了如何从已知的公式推导出新的公式。

三、数理逻辑的基本公理数理逻辑的基本公理是构建形式系统的基础，它们是不需要证明的前提，用来描述命题的性质和推理的规则。

基本公理一般包括恒真式、恒假式和等价式等。

恒真式是指在任何情况下都为真的命题，如“P∨¬P”，表示“P或非P”。

恒假式是指在任何情况下都为假的命题，如“P∧¬P”，表示“P且非P”。

等价式是指两个命题在任何情况下都具有相同的真值，如“P→Q≡¬P∨Q”，表示“如果P成立，则Q成立”。

四、形式系统的推导规则形式系统的推导规则是指导推理过程的规则，它规定了如何从已知的公式推导出新的公式。

常见的推导规则包括假言推理、析取三段论和消解等。

假言推理是指从一个条件命题和它的前提出发，推导出结论的过程，如“如果P成立，则Q成立；P成立，因此Q成立”。

析取三段论是指从两个条件命题的析取式和一个条件命题出发，推导出结论的过程，如“P∨Q；¬P，因此Q”。

消解是指从两个条件命题的否定式和一个条件命题出发，推导出结论的过程，如“¬P∨¬Q；P，因此¬Q”。

五、数理逻辑的应用数理逻辑在科学研究和工程应用中具有重要的作用。

公理化思想的内涵公理化思想的内涵、发展、作用及学习数学史的感受08数学教育2班颜运020********公理化方法是自然科学, 特别是数学的重要逻辑演绎工具。

长期以来人们对公理化方法研究不止,存在不同的看法和争议,并由此而不断产生新的科学分支。

因此, 公理化方法研究总是充满生机的。

一、数学公理化思想的内涵数学公理化的目的, 就是把一门数学表述为一个演绎系统, 这个系统的出发点则是一组基本概念和若干基本命题, 基本概念必须是对数学实体的高度纯化和抽象, 而基本命题则是对基本概念相互关系的制约和规定。

显然, 公理学也并非神学, 因为公理系统乃是数学家的自由创造, 是大量数学知识的理论概括, 是数学科学推理论证的出发点, 并非象神学那样极力排斥理性, 把一切依据统统归诸于《圣经》和神的意志对于公理学的结构, 可以分为三种, 即含内容的公理学、半形式化公理学和形式化公理学。

这三种形式结构, 也就是它形式化发展的三个阶段, 即产生阶段, 完善阶段、形式化阶段。

含内容的公理学的代表作《原本》, 它流传甚广, 以至于今天在“新数”运动的尾声中, 世界各国的中学课本中的多数仍然受着它的传统影响。

半形式化公理学的代表作是《几何学基础》, 正是因为如此, 才使得希尔伯特成为现代数学中的公理方法的奠基人”。

然而, 一个数学分支公理化的完成, 也并不意味着是它的最后终结, 而是促使这一分支进一步地向前发展, 自希尔伯特以后, 公理化方法己渗透到几乎所有的纯数学的领域。

形式化公理学的代表作是希尔伯特1 9 0 4 年在海德堡召开的第三届国际数学会议上所提交的一篇关于大致描画证明论的论文, 其基本思想就是采用符号语言把一个数学理论的全部命题变成公式的集合, 然后证明这个公式的集合是无矛盾的。

由于公理方法的进一步形式化, 不仅推动着数学基础的研究, 而且还推动着现代算法论的研究, 并为数学应用于电子计算机等现代科学技术开辟了新的前景。

公理化方法公理化方法公理化思想任何真正的科学都始于原理，以它们为基础，并由之而导出一切结果来随着假设演绎模型法的进一步发展，经济学日益走向公理化方法。

公理化是一种数学方法。

最早出现在二千多年前的欧几里德几何学中，当时认为“公理’(如两点之问可连一直线)是一种不需要证明的自明之理，而其他所谓“定理” (如三对应边相等的陌个三角形垒等)则是需要由公理出发来证明的,18世纪德国哲学家康德认为，欧几里德几何的公理是人们生来就有的先验知识，19世纪末，德国数学家希尔伯特(David Hilbert)在他的几何基础研究中系统地挺出r数学的公理化方法。

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

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

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

公理化方法不仅在现代数学和数理逻辑中广泛应用，而且已经远远超出数学的范围，渗透到其它自然科学领域甚至某些社会科学部门，并在其中起着重要作用．历史发展产生公理化方法发展的第一阶段是由亚里士多德的完全三段论到欧几里得《几何原本》的问世．大约在公元前3世纪，希腊哲学家和逻辑学家亚里斯多德总结了几何学与逻辑学的丰富资料，系统地研究了三段论，以数学及其它演绎的学科为例，把完全三段论作为公理，由此推导出其它所有三段论法，从而使整个三段论体系成为一个公理系统．因此，亚里斯多德在历史上提出了第一个成文的公理系统．亚里斯多德的思想方法深深地影响了当时的希腊数学家欧几里得．欧几里得把形式逻辑的公理演绎方法应用于几何学，从而完成了数学史上的重要著作《几何原本》．他从古代的量地术和关于几何形体的原始直观中，用抽象分析方法提炼出一系列基本概念和公理．他总结概括出10个基本命题，其中有5个公设和5条公理，然后由此出发，运用演绎方法将当时所知的全部几何学知识推演出来，整理成为演绎体系．《几何原本》一书把亚里斯多德初步总结出来的公理化方法应用于数学，整理、总结和发展了希腊古典时期的大量数学知识，在数学发展史上树立了一座不朽的丰碑．公理学研究的对象、性质和关系称为“论域”，这些对象、性质和关系，由初始概念表示．例如欧氏《几何原本》中只需取“点”、“直线”、“平面”；“在……之上”、“在……之间”、“叠合”作为初始概念．前三个概念所表示的三类对象和后三个概念所表示的三种关系就是这种几何的论域．按照“一个公理系统只有一个论域”的观点建立起来的公理学，称为实质公理学．这种公理学是对经验知识的系统整理，公理一般具有自明性．因此，欧氏《几何原本》就是实质公理学的典范．发展公理化方法的发展大致经历了这样三个阶段：实质（或实体）公理化阶段、形式公理化阶段和纯形式公理化阶段，用它们建构起来的理论体系典范分别是《几何原本》、《几何基础》和ZFC 公理系统。

公理化体系-概述说明以及解释1.引言1.1 概述公理化体系是数学、哲学和科学领域中的一种重要方法论。

它建立在公理的基础上，并通过逻辑推理和证明来构建完备且一致的理论体系。

公理是一组基本假设或原则，它们被认为是不需要证明的真理。

在公理化体系中，我们可以通过基于这些公理的演绎推理，来推导出更多的命题和定理。

公理化体系的重要性在于它为科学研究和理论建构提供了一个严格且可靠的框架。

通过将复杂的问题分解为基本公理，并利用逻辑推理进行严密证明，我们可以建立起一套严密的理论体系，从而使得科学的发展更加系统化和科学化。

公理化体系的构建方法可以有多种。

通常，我们可以通过观察、实验、归纳等方式来提出一组基本假设或原则，作为公理的基础。

然后，通过逻辑推理和严谨的证明，我们可以从这些公理中推导出更多的命题和定理。

在这个过程中，我们还需要注意公理的自洽性和一致性，以确保体系的完备性和可靠性。

公理化体系的应用领域非常广泛。

在数学中，公理化体系被用来构建不同领域的数学理论，例如几何学、代数学、分析学等。

在哲学中，公理化体系被用来研究推理、辩证法和认知过程等，从而对人类思维和知识体系进行深入探索。

在科学中，公理化体系被用来构建科学理论和模型，从而实现对自然规律和现象的解释和预测。

总之，公理化体系是一种重要的思维工具和方法论，它为科学研究和理论建构提供了一个严谨且可靠的框架。

通过建立基于公理的理论体系，我们可以推导出更多的命题和定理，从而推动科学和哲学的发展。

公理化体系不仅在数学领域有着重要应用，而且在哲学和科学领域也具有重要价值。

随着研究的不断深入和发展，公理化体系的未来发展方向也将更加广阔。

文章结构部分介绍了本篇长文的整体结构和各个部分的内容概述。

下面是文章结构部分的内容：在本篇长文中，我们将讨论公理化体系。

文章主要分为引言、正文和结论三个部分。

首先，在引言部分（1.引言）我们将概述本篇长文的主题和目的，加以简单的介绍。

在1.1 概述部分，我们将对公理化体系进行概括性的介绍，给出一个整体的认识。

▁▂▃▄▅▆▇█▉▊▋▌精诚凝聚 =^_^= 成就梦想▁▂▃▄▅▆▇█▉▊▋▌
公理化思想
数学研究客观世界的数量关系和空间形式，我们只有通过证明才能说明一个数学结论的正确性，而不是像研究物理和化学一样通过实验来说明。

数学里的证明借助于逻辑推理，每步推理都是在一个大前提下进行的，当我们一步步往前推想时就会发现总要有一个不可定义的概念或公理存在。

也就是说要建立一门严格的理论体系，就要先给出某些不加定义的概念或公设、公理，在此基础上经过精确定义或逻辑推理建立该体系的其它定义或定理。

像这样从一组原始概念和一组公理出发，运用逻辑推理规则，将一门学科理论建立成演绎系统的思想方法就叫做公理化思想方法。

公理化思想是数学发展过程中一种具有深远影响的思想。

古希腊数学家欧几里得是开创这一思想方法的先驱，尽管在严格性上有所欠缺，但他的《几何原本》一书的确为人们树立了用公理化方法建立数学演绎系统的典范。

围绕其中的一些不足，主要是第五公设问题，后来的数学家展开了历时近两千年的讨论和研究，直到19世纪非欧几何的诞生。

1899年，大数学家希尔伯特在他的《几何基础》一书中对公理化思想进行了系统的阐述，他给出了一个简明、完整的形式化公理体系，并提出了有关公理系统的一系列原则，从而使得公理化思想得到了更大的发展，并被许多其它学科所采用。

▃ ▄ ▅ ▆ ▇ █ █ ■ ▓点亮心灯 ~~~///(^v^)\\\~~~ 照亮人生▃ ▄ ▅ ▆ ▇ █ █ ■ ▓。

公理方法和公理体系公理方法和公理体系公理方法是一种通过基本假设和推理来建立数学体系的方法。

这种方法在数学研究中起着至关重要的作用，因为它提供了一个清晰、严谨、统一的框架，使得数学家们可以准确地描述和推导出各种数学结论。

一、公理方法的基本原理公理方法的基本原理是从最简单、最基本的假设出发，逐步推导出更加复杂和深入的结论。

这些最基本的假设被称为“公理”，它们通常被认为是不需要证明的真实陈述。

在建立一个数学体系时，我们必须首先确定一组适当的公理，并且保证它们之间不会产生矛盾。

二、公理体系一个完整的数学体系由三个部分组成：公理、定理和证明。

其中，公理是整个体系中最基本、最重要的部分。

如果我们能够确定正确且相互独立的一组公理，那么我们就可以通过逻辑推导来得到所有可能存在于该系统中的结论。

三、建立一个完整的数学体系1.确定适当的公理：在建立一个新的数学体系时，必须首先确定一组适当的公理。

这些公理必须既简单又明确，以便可以通过逻辑推导得到所有可能存在于该系统中的结论。

2.建立基本定义：在确定公理之后，我们需要建立一些基本定义，以便能够准确地描述和讨论各种数学对象。

3.引入符号和符号系统：为了方便表示各种数学对象和关系，我们需要引入一些符号和符号系统。

这些符号必须具有清晰、简洁、明确的含义，并且必须与公理和定义相容。

4.推导定理：在建立好公理、定义和符号系统之后，我们就可以开始推导各种定理了。

这些定理必须是从公理出发通过逻辑推导得到的结论。

5.证明定理：得到一个定理只是第一步，我们还需要证明它的正确性。

证明必须是严谨、清晰、完整的，并且必须根据公认的数学原则进行。

四、优点和局限性1.优点（1）严谨性：公理方法是一种非常严谨的方法，它可以保证数学结论的准确性。

（2）统一性：公理方法提供了一个统一的框架，在这个框架下各种数学结论可以得到一致的处理。

（3）可扩展性：公理方法可以不断地扩展和完善，从而使得新的数学领域得以发展。

公理化⽅法基本要求？基本要求公理是对诸基本概念相互关系的规定，这些规定必须是必要的⽽且是合理的。

因此，⼀个严格完善的公理系统，对于公理的选取和设置，必须具备如下三个基本要求：相容性这⼀要求是指在⼀个公理系统中，不允许同时能证明某⼀定理及其否定理。

反之，如果能从该公理系统中导出命题A和否命题⾮A(记作-A)，从A与-A并存就说明出现了⽭盾，⽽⽭盾的出现归根到底是由于公理系统本⾝存在着⽭盾的认识，这是思维规律所不容许的。

因此，公理系统的⽆⽭盾性要求是⼀个基本要求，任何学科，理论体系都必须满⾜这个要求。

独⽴性这⼀要求是指在⼀个公理系统中的每⼀条公理都独⽴存在，不允许有⼀条公理能⽤其它公理把它推导出来，同时使公理的数⽬减少到最低限度。

完备性这就是要求确保从公理系统中能推出所研究的数学分⽀的全部命题，也就是说，必要的公理不能减少，否则这个数学分⽀的许多真实命题将得不到理论的证明或者造成⼀些命题的证明没有充⾜的理由。

从理论上讲，⼀个公理系统的上述三条要求是必要的，同时也是合理的。

⾄于某个所讨论的公理系统是否满⾜或能否满⾜上述要求，甚⾄能否在理论上证明满⾜上述要求的公理系统确实存在等，则是另外⼀回事了。

应该指出的是，对于⼀个较复杂的公理体系来说，要逐⼀验证这三条要求相当困难，甚⾄⾄今不能彻底实现。

⽅法运⽤1．要积累⼤量的经验、数据和资料，对这些经验资料进⾏分析归纳，使之系统化，最后上升为理论。

因为公理系统的建⽴是以⼤量的事实为基础，以丰富的经验和已有的科学知识为前提的，设此⽆彼。

2．数学公理化的⽬的是要把⼀门数学整理成为⼀个演绎系统，⽽这⼀系统的出发点就是⼀组基本概念和公理。

因此，要建⽴⼀门数学的演绎系统，就要在第⼀步的基础上，从原有的资料、数据和经验中选择⼀些基本概念和确定⼀组公理，然后由此来定义其它有关概念并证明有关命题。

选取的基本概念是不定义概念，必须是⽆法⽤更原始、更简单的概念去确定其涵义的，也就是说，它是⾼度纯化的抽象，是最原始最简单的思想规定。

公理化思想公理化思想所谓公理化方法（或公理方法），就是从尽可能少的无定义的原始概念（基本概念）和一组不证自明的命题（基本命题）出发，利用纯逻辑推理法则，把一门数学建立成为演绎系统的一种方法。

所谓基本概念和公理，当然必须反映数学实体对象的最单纯的本质和客观关系，而并非人们自由意志的随意创造。

所共知，希尔伯特1899年出版的《几何学基础》一书是近代数学公理化的典范著作。

该书问世后的二、三十年间曾引起西方数学界的一阵公理热，足见其影响之大。

希尔伯特的几何公理系统实际是在前人的一系列工作成果基础上总结出来的，书中的公理条目也曾屡经修改。

直到1930年出第七版时，还作了最后修改。

这说明一门学科的公理化未必是一次完成的，公理化过程可以是包含一些发展阶段的。

公理化方法的历史发展，大致可分成三个阶段：1.是公理方法的产生阶段，大约在公元前三世纪，希腊的哲学家和逻辑学家亚里斯多德（Aristotle）总结了古代积累起来的逻辑知识，以演绎证明的科学（主要是数学）为实例，把完全三段论作为公理，由此推导出别的所有三段论（共分了十九个格式）。

因此可以认为，亚里士多德在历史上提出了第一个成文的公理系统。

亚里士多德的思想方法深深地影响了公元前三世纪的希腊数学家欧几里得，后者把形式逻辑的公理演绎方法应用于几何学，从而完成了数学史上的重要著作《几何原本》。

欧几里得从古代的量地术和关于几何形体的原始直观中，用抽象分析方法提炼出一系列基本概念和公理。

他总结概括出14个基本命题，其中有5个公设和9条公理。

由此出发，他运用演绎方法将当时所知的几何知识全部推导出来，这便是古代数学公理方法的一个辉煌成就。

2.是公理方法的完善阶段，如所知，欧氏几何的公理系统是不完善的，其主要的不足之处可以概括为：（1）有些定义是不自足的，亦即往往使用一些未加定义的概念去对别的概念下定义。

（2）有些定义时多余的，略去它毫不影响往后的演绎和展开。

（3）有些定理的证明过程往往依赖于图形的直观。

独立思想体系·公理化思想方法独立思想体系就是从几个基本概念、假设、公理、定理出发，甚至于从一个核心概念出发，通过逻辑推演，推演出一系列的定理、命题，一整套的思想体系。

而这个推演整个独立逻辑思想体系的方法就叫做公理化思想方法。

我们每个人都需要一套自己的独立思想体系，这套独立思想体系如何构建呢？那就是用公理化思想方法构建，即从一个或者基本原始概念出发，一个或者几个假设出发，一个或者几个公理出发，通过严密的逻辑演绎推理，就像一棵大树从一条根开枝阔叶，构筑一套庞大的严密的思想体系。

就像一座高楼大厦从一个根基出发，构筑一座思想理论大厦。

其实任何一门独立的科学学科，都是这么构建而来的，几何学，物理学，化学，生物学等等，无不是从几个基本的概念假设公理出发，通过层层严密的逻辑推理，演绎了一个庞大的系统的理论体系。

比如物理学是从力这个基本的核心概念以及几个一路推演出一套庞大的物理学体系的，经济学是从供求这个基本概念和理性人假设等几个基本假设一路逻辑推演成一本厚厚的经济学书籍的，几何学是欧几里得从几个基础概念、公设、公理出发，经过严密的逻辑推演，推导出一系列的定理，构筑了一本《几何原本》，辩证法哲学是基于矛盾的一个不断逻辑推演出的一整套的思想体系。

公理化思想方法构建独立思想体系，就是从几个简单的基本概念、假设、公理出发，通过一层层的逻辑推演，演绎出一系列的命题、定理。

这几个基本概念公理都是不证自明的公认的，或者不需要证明的，就是这样的。

这个构建独立思想体系的核心和关键就是定义清楚定义准确核心和基本概念，不证自明的概念，如果根本概念定义错误，那么后面一系列的推演都是错误的，整个理论大厦都是错误的。

就像一座大厦，地基打错了，那么整座大厦很快轰然倒塌。

比如如果物理学核心概念力的概念牛顿定义错误或者定义的不准确不够精确，那么整个物理学大厦就毫无意义轰然倒塌，如果经济学的几个基本假设错误，那么整个经济学理论体系也将不复存在。

何柏生：公理法，构筑法学理论体系的重要方法一、公理法在构筑法学理论体系时表现出来的优点公理法包括两个部分，一是公理化方法，一是公理体系。

我们知道，公理化方法是从初始概念和初始命题（公理）出发，按一定的逻辑规则，推演出其它有关命题（定理）的一种演绎方法。

而公理体系则是由初始概念、公理、定义、推理规则和定理等构成的演绎体系。

公理化方法是公理法的第一组成部分，公理体系则是公理法的第二组成部分。

公理体系是由公理化方法得到的理论体系，所以，公理体系是建筑在公理化方法的基础之上。

公理化方法是一种演绎方法，公理体系是一种演绎体系。

所以，公理法是建立在演绎方法和演绎体系的基础之上，它所采用的是演绎推理。

公理体系中的所有命题都是由初始命题演绎出来的。

公理法是在古希腊初步形成的，在柏拉图的《理想国》一书中，已有较为完整的记载。

在《理想国》中，苏格拉底说：“我想你知道，研究几何学、算学以及这一类学问的人，首先要假定偶数与奇数、各种图形、三种角以及其它诸如此类的东西。

他们把这些东西看成已知的，看成绝对假设，他们假定关于这些东西是不需要对他们自己或别人作任何说明的，这些东西是任何人都明白的。

他们就从这些假设出发，通过首尾一贯的推理最后达到他们所追求的结论。

”[1]从柏拉图借苏格拉底之口说出的这段话中，我们知道公理法在当时的数学中已得到了运用。

所以，公理法绝不是亚里斯多德创立的。

正确的说法应当是：亚里斯多德使公理法在逻辑中得到了成功的应用，从而创立了三段论推理。

当然，亚里斯多德在运用公理法的过程中，也发展并完善了公理法。

美国学者莫里斯·克莱因说：“柏拉图是第一个把严密推理法则加以系统化的人，而大家认为他的门人按逻辑次序整理了定理。

……不管柏拉图派有否根据明确的公理真正用演绎法整理过数学，有一点是毋庸置疑的，即至少从柏拉图时代起，数学上要求根据一些公认的原理作出演绎证明。

由于坚持要有这种形式的证明，希腊人得以把此前几千年来数学里的所有法则、步骤和事实全部抛弃。