Brouwer rejected formalization in mathematics, but his student Arend Heyting studied intuitionistic logic formally, as did Gerhard Gentzen.
Ο Brouwer απέρριψε την τυποποίηση των μαθηματικών, ο μαθητής του Arend Heyting όμως μελέτησε την ενορατική λογική ως τυπική, όπως έκανε και ο Gerhard Gentzen.