查人人中国名人网最好的自动变速箱:什么是“国际公理系统”？
来源：百度文库 编辑：查人人中国名人网 时间：2024/04/29 11:34:23
在数学上，一个公理系统(axiomatic system,或称公理化系统，公理体系，公理化体系)是一个公理的集合，从这些公理可以逻辑地导出所有的定理。也可以说，公理系统是形式逻辑的一个完整体现。一个数学理论系统是由一个公理系统和所有它导出的定理组成的。比如：欧几里德《几何原本》中就规定了五条公理和五条公设，平面几何中的一切定理都可由这五条公理和公设推得。
由于公理系统可以建造一个完整的、无矛盾、满足一致性的理论体系，所以几乎所有的数学领域甚至一些数学以外的科学领域也采用了公理化体系来构造他们的理论系统。如现代得到多数人认可的大爆炸理论，就是基于这样的一个认识。
在数学中，所有的定理都必须给予严格的证明，但公理却是不必证明的，并且还不允许问为什么。同样的道理，西方人的“上帝”也是不允许问是从哪里来的，因为在西方人看来，“上帝”之前整个世界都不存在。
一个公理体系中的名词是预先已经定义的概念，这样的公理系统就是实质公理系统。如欧几里德几何公理系统。因为要先定义概念，所以就要有一些原始的概念作为定义其他概念的出发点，如欧氏几何中使用的“部分”、“长度”、“宽度”、“界限”以及“同样的位置”等。