 The British philosopher Michael Dummett (1975) developed a philosophical basis for Intuitionism, in particular for intuitionistic logic. Dummett explicitly states that his theory is not an exegesis of Brouwer’s work, but a possible philosophical theory for (in his words) repudiating classical reasoning in mathematics in favor of intuitionistic reasoning.