Maybe there is a mathematical proof deciding this question; maybe every mathematical question is decidable by an intuitive proof or disproo Hilbert thought so; others have thought not; still others have thought the question unintelligible unless the notion of intuitive proofis replaced by that of formal proof in a single system.