直觉主义逻辑学派

直觉主义逻辑学派是数理逻辑和数学基础研究中的一种学派，主要代表是荷兰的布劳维尔。直觉主义逻辑学派，排斥没有能行性的证明，否定排中律的普遍应用。认为对于一个对象，仅证明它存在是不够的，还必须用一种能行的方法具体地将它构造出来。参见“布劳维尔”。