唯一。直觉主义逻辑、模煳逻辑等新的逻辑结构，都建立在略有差异的公理上。因此，与其把公理看作不证自明的事实，不如看作是在一个特定的数学或逻辑系统中，先于一切证明的前设。
历史发展.
古希腊.经由可靠的论证（三段论、推理规则）由前提（原有的知识）导至结论（新的知识）的逻辑演绎方法，是由古希腊人发展出来的，并已成为了现代数学的核心原则。除了重言式之外，没有任何事物可被推导，若没有任何事物被假定的话。公理即是导出特定一套演绎知识的基本假设。公理不证自明，而所有其他的断