Definition:Axiom of Mathematics