哲学, 数学, 计算机科学, 逻辑学, 集合论

构造性集合论 (Constructive set theory)

, , , ,