Axioms in logic