While I appreciate very much the technical contributions of intuitionists, such as logics without excluded middle, and computational interpretations of inference rules, I just can&#x27;t bring myself to accept the idea that the truth of mathematical statements is conditional on our ability to validate them using our intuition. To me, intuition is a <i>crutch</i> that I use to overcome my inability to accurately perform long calculations. But the ultimate arbiter of truth is the collection of rules of the formal system in question.