Brouwer rejected formalization in mathematics, but his student Arend Heyting studied intuitionistic logic formally, as did Gerhard Gentzen.
Броувер ја отфрлил формализацијата на математиката, но неговиот ученик Аренд Хејтинг ја изучувал интуиционистичката логика на формален начин, како што ја изучувал и Герхард Генцен.