Definition:Axiom (Formal Systems)