公理是是指依据人类理性的不证自明的基本事实，或指经过人类长期反复实践的考验，总结出来不需要再加以证明的基本命题。公理都是用来推导其他命题的起点，其本身在逻辑上没有矛盾。