Brouwer rejected formalization in mathematics, but his student Arend Heyting studied intuitionistic logic formally, as did Gerhard Gentzen.
Brouweris atmetė matematikos formalizaciją, bet jo mokinys Arendas Heytingas formaliai studijavo intuicijonistinę logika, kaip ir Gerhardas Gentzenas.