Unlikely, intuionist and classical logic are not fundamentally different. The only difference is that the law of excluded middle (A or (not A)) is an axiom (i.e

Unlikely, intuionist and classical logic are not fundamentally different. The only difference is that the law of excluded middle (A or (not A)) is an axiom (i.e. assumed to be true) in classical logic.