Axiom

在传统的逻辑中，公理是没有经过证明，但被当作不证自明的命题。