> ...a vehicle for doing mathematics with intuitionistic logic, and in particular denying the law of excluded middle... Intuitionists don't deny the law of exc

> ...a vehicle for doing mathematics with intuitionistic logic, and in particular denying the law of excluded middle... Intuitionists don't deny the law of excluded middle, they just don't admit it as an axiom. From a classical perspective this looks like denial, since accepting the law means that you have to accept or deny everything, but from an intuitionistic perspective that kind of reasoning looks like begging the question.