首页|国学书库|影印古籍|诗词宝典|精选|汉语字典|汉语词典|部件查字|书法大师|甲骨文|历史人物|历史典故|年号|姓氏|民族|丛书|中医|软件下载
译文|四库全书|全文检索|古籍书目|正史|成语词典|康熙字典|说文解字|字形演变|金 文|历史地名|历史事件|官职|知识|对联|印谱|地图|会员中心
构造性地(即从某些初始对象出发,通过明确规定的操作)展开的数学理论的通称。有几种流派,包括*直觉主义、希尔伯特的有限主义(见“希尔伯特方案”)及毕肖普(Errett Bishop, 1928—1983)的狭义构造主义等。不承认逻辑上排中律的普遍有效是其共同特征。