Intuitionists like Brouwer reject classical logic's law of excluded middle, which underlies key comp...