1. 概述 历史上, 朴素集合论 是被最先引入的 集合论, 通常采用自然语言 (而非形式化) 的方式处理集合问题. 然而朴素集合论不是严格地由 公理 给出的, 因此存在许多漏洞, 例如 Russell 悖论 便是其中之一. 与之相对的是 公理化集合论, 它由一套严格的公理体系建构起关于 集合 的概念. 2. 术语翻译 中文英文朴素集合论naïve set theory 集合论