公理

读法拼音：gōnglǐ

英文：axiom

定义1) 经过人类长期反复的实践检验是真实的，不需要由其他判断加以证明的命题和原理。

2) 某个演绎系统的初始命题。这样的命题在该系统内是不需要其他命题加以证明的，并且它们是推出该系统内其他命题的基本命题。

例子1) 传统形式逻辑三段论关于一类事物的全部是什么或不是什么，那么这类事物中的部分也是什么或不是什么，也即如果对一类事物的全部有所断定，那么对它的部分也就有所断定，便是公理。又如日常生活中人们所使用的“有生必有死”，也属于这种不证自明的判断。

2) 《三国志·吴志·张温传》：“竞言艳（暨艳）及选曹郎徐彪，专用私情，憎爱不由公理。”

3) 在欧几里得几何系统中下面所述的都是公理：

① 等于同量的量彼此相等；

②等量加等量，其和相等；

③等量减等量，其差相等；

④ 彼此能重合的物体是全等的；

⑤整体大于部分。

国际公理系统

在数学上，一个公理系统(axiomatic system,或称公理化系统，公理体系，公理化体系)是一个公理的集合，从这些公理可以逻辑地导出所有的定理。也可以说，公理系统是形式逻辑的一个完整体现。一个数学理论系统是由一个公理系统和所有它导出的定理组成的。比如：欧几里德《几何原本》中就规定了五条公理和五条公设，平面几何中的一切定理都可由这五条公理和公设推得。

由于公理系统可以建造一个完整的、无矛盾、满足一致性的理论体系，所以几乎所有的数学领域甚至一些数学以外的科学领域也采用了公理化体系来构造他们的理论系统。如现代得到多数人认可的大爆炸理论，就是基于这样的一个认识。

在数学中，所有的定理都必须给予严格的证明，但公理却是不必证明的，并且还不允许问为什么。同样的道理，西方人的“上帝”也是不允许问是从哪里来的，因为在西方人看来，“上帝”之前整个世界都不存在。

一个公理体系中的名词是预先已经定义的概念，这样的公理系统就是实质公理系统。如欧几里德几何公理系统。因为要先定义概念，所以就要有一些原始的概念作为定义其他概念的出发点，如欧氏几何中使用的“部分”、“长度”、“宽度”、“界限”以及“同样的位置”等。