构造性数学

构造性数学是构造性地(即从某些初始对象出发，通过明确规定的操作)展开的数学理论的通称。同建立在公理之上的数学相反，主要由于后者在刻画自然数、实数等方面缺乏唯一性所产生。有几种流派，包括。直觉主义、希尔伯特的有限主义及毕肖普(Errett Bishop，1928-1983)的狭义构造主义。不承认逻辑上排中律的普遍有效是其共同特征。