構造性數學
構

構造性數學　　　gòu zào xìng shù xué

構造性地（即從某些初始對象出發(fā)，通過明確規(guī)定的操作）展開的數學理論的通稱。有幾種流派，包括*直覺主義、希爾伯特的有限主義（見“希爾伯特方案”）及畢肖普(Errett Bishop, 1928—1983)的狹義構造主義等。不承認邏輯上排中律的普遍有效是其共同特征。