文章阅读

直觉主义解决集合论悖论的方案

摘  要:直觉主义者认为,集合论悖论的产生与接受实无穷、排中律和非直谓性有关。因此,为了解决集合论悖论,直觉主义者要求承认潜无穷、拒斥排中律、接纳直谓性。基于这种直觉主义思想建立的直觉主义集合论和构造性集合论,是直觉主义解决集合论悖论的两种方案。它们与逻辑主义学派的类型论方案和形式主义学派的公理化方案具有相同的地位。
 
关键词:集合论悖论  实无穷  恶性循环  直觉主义集合论  构造性集合论