几何基本命题

不作证明而承认正确性的几何基本命题，

并且作为推理基础的命题称为几何公理。

&

几何由一些基本概念和基本命题为基础。

基本概念称为元词，基本命题称为公理。

元词不给定义，作为其他概念定义基础。

公理不给证明，作为其他命题证明基础。

以此构筑几何大厦的方法称为公理化法。

这些元词与公理作为整体称为公理体系。

公理化几何有数学家欧几里得首先创造，

现代几何公理体系有六个元词廿条公理。