"logical axioms" -
related articles and key terms
Related terms:
lnot
forall
deductive system
peano arithmetic
propositional logic
Wikipedia sources:
Axiom
First-order logic
Context for words:
logical
axioms