Intuisionisme

Heyting menemukan bukti dalam pandangan Brouwer tentang kelaziman alat mental serta pemacu bahasa dan logika. Dalam bukunya berjudul "Intuitionism" tahun 1956, Heyting mengungkankan bahwa pendapat Bouwer yaitu bahasa adalah media tidak sempurna untuk membincangkan matematika. Sistem utamanya adalah dirinya sendiri sebagai peraturan pemacu matematika, tetapi tidak diyakini sistem utama pemacu matematika menggambarkan secara kuat penguasaan pemikiran matematika. Heyting menegaskan logika bergantung pada matematika bukan yang lain.