0 axioms | Definition of axioms