公理是依据人类理性的不证自明的基本事实，经过人类长期反复实践的考验，不需要再加证明的基本命题。

除了重言式之外，没有任何事物可被推导，若没有任何事物被假定的话。公理即是导出特定一套演绎知识的基本假设。公理不证自明，而所有其他的断言（若谈论的是数学，则为定理）则都必须借助这些基本假设才能被证明

也就是经过人们长期实践检验、不需要证明同时也无法去证明的客观规律。