构造性数学

构造性地（即从某些初始对象出发，通过明确规定的操作）展开的数学理论的通称。有几种流派，包括*直觉主义、希尔伯特的有限主义（见“希尔伯特方案”）及毕肖普(Errett Bishop, 1928—1983)的狭义构造主义等。不承认逻辑上排中律的普遍有效是其共同特征。