直覺主義邏輯學派

數理邏輯和數學基礎研究中的一種學派，主要代表是荷蘭的布勞維爾。認為數的認識不依賴於邏輯和經驗，它的唯一來源是數學中所固有的帶有構造性的一種直覺。排斥沒有能行性的證明，否定排中律的普遍套用。認為對於一個對象，僅證明它存在是不夠的，還必須用一種能行的方法具體地將它構造出來。參見“布勞維爾”。