直覺主義邏輯學派

直覺主義邏輯學派是數理邏輯和數學基礎研究中的一種學派，主要代表是荷蘭的布勞維爾。

直覺主義邏輯學派，排斥沒有能行性的證明，否定排中律的普遍套用。認為對於一個對象，僅證明它存在是不夠的，還必須用一種能行的方法具體地將它構造出來。參見“布勞維爾”。