Die erste vollständige Formalisierung intuitionistischer Aussagen - und Prädikatenlogik stellt Arend Heyting im Jahr 1930 vor. 1933 zeigte Kurt Gödel eine Übersetzungsmöglichkeit von klassischer in intuitionistische Logik auf.