公理

---

指经过人类长期反复的实践检验，其真实性非常明显，无需由其它命题加以证明的、众所公认的少数规定。

例如，“过两点可引一条直线”、“整体大于部分”等命题都是公理。公理可以作为推理的出发点，作为论证某一判断真实性的强有力的论据或理由。

恩格斯指出：“数学上的所谓公理，是数学需要用作自己的出发点的少数思想上的规定”。(《自然辩证法》第235页)。

也就是说，在一个数学体系中，数学公理是这个体系的出发点，是整个体系逻辑推理的依据。