人们从长期实践中总结出来的正确命题，叫做公理．公理是不加证明的．公理有通用于数学各科的一般公理，有仅用于几何学的几何公理．几何公理是证明其他命题真假的依据．