Axioms of predicate logic.pdf