Axiom lem
Axiom.
lem
A ∨ ¬A
The law of excluded middle. Valid in classical logic, but not in intuitionistic logic.