1. 概述 无论 集合论 的 公理 系统如何构建, 总是基于特定的逻辑系统的, 例如 经典逻辑 或 直觉逻辑. 如果是基于后者而构建出的 集合论, 我们就称之为 构造性集合论. 而一旦使用该逻辑基础, 其中的一些 公理, 例如 ZFC 集合论 > ^7f0c0e 以及 排中律 便无法在其中使用. 2. 术语翻译 中文英文构造性集合论constructive set theory 集合论