English Version
20189
文章阅读
直觉主义解决集合论悖论的方案
摘  要:直觉主义者认为,集合论悖论的产生与接受实无穷、排中律和非直谓性有关。因此,为了解决集合论悖论,直觉主义者要求承认潜无穷、拒斥排中律、接纳直谓性。基于这种直觉主义思想建立的直觉主义集合论和构造性集合论,是直觉主义解决集合论悖论的两种方案。它们与逻辑主义学派的类型论方案和形式主义学派的公理化方案具有相同的地位。
 
关键词:集合论悖论  实无穷  恶性循环  直觉主义集合论  构造性集合论
 
本文下载地址: 直觉主义解决集合论悖论的方案
关于我们
© 2021 中国科学院大学版权所有 地址:北京市石景山区玉泉路19号(甲) 邮编:100049