Loogika aine ja ajalugu
Aastatel 1924-1925 tõestas Ackermann, et
oluline alamhulk aritmeetikast on mittevastuoluline, kuid terve aritmeetika jaoks ei suudetud tõestust leida. 1931. aastal
näitas Gödel, et Hilberti programm on põhimõtteliselt teostamatu, kuid Hilbert ise ei aktsepteerinud Gödeli resultaatide
sellist negatiivset tähendust kunagi.
2.5.3 Intuitsionism: Brouwer ja Heyting
Kolmandat matemaatikale kindlat vundamenti rajanud koolkonda nimetatakse intuitsionismiks ehk konstruktivismiks.
Ülalloetletud kolme koolkonna hulgast on just intuitsionismil oluline koht praegusaja loogikas, iseäranis teoreetilise
arvutiteadusega seotud osades. Praegusaja matemaatikute hulgas ei ole intuitsionism seevastu kuigi populaarne.
Lühidalt ja robustselt öeldes on intuitsionismi põhiprintsiip välistatud kolmanda reegli mittetunnustamine: intuitsionist
annaabi.ee 
