How to prove Law of excluded middle using 10 axioms of Intuitionistic logic > How to prove Law of excluded middle using 10 axioms of Intuitionistic logic?

The Law of the Excluded Middle cannot be proved within intuitionistic propositional logic: $p\lor \lnot p$,

just as double-negation elimination cannot be proved in the said system. I.e. Intuitionistic logic does not recognize that $\lnot \lnot p \equiv p.$

See Intuitionistic Logic.