在 传统逻辑 中， 公理 （英语： axiom）是没有经过证明，但被当作 不证自明 的一个命题。 因此，其真实性被视为是理所当然的，且被当做演绎及推论其他（理论相关）事实的起点。 当不断要求证明时，因果关系毕竟不能无限地追溯，而需停止于无需证明的公理。