Logical axiom
Redirect to:
Axiom#Logical axioms