公理

两点之间线段最短，这是几何学中最基本的公理。

数学老师在课上强调，公理是无需证明而被公认成立的命题。

整座几何学大厦，正是从少数几条公理出发推演出来的。

这道证明题直接引用公理即可，不必再作多余的推导。

等量加等量，其和相等，教科书把这样的命题列为公理。