1. 概述 集合 是 集合论 中的基本研究对象, 但如果以 基础集合论 的方式建立集合论, 则 “集合” 本身是一个未定义的概念. 主流数学通过建立一套 公理 系统, 例如使用 ZFC 集合论 描述集合的性质, 所有的数学推理都基于这套公理的基础之上. 2. 相关概念 ETCS 集合范畴 公理化集合论 3. 术语翻译 中文英文集合set 集合论