1. 概述 Tarski-Grothendieck 集合论 是一种 公理化集合论, 它是由 ZFC 集合论 的公理以及 宇宙公理 所组成的. 2. 相关概念 类, 真类 小, 大集 Grothendieck 宇宙 ZFC 集合论 4. 术语翻译 中文英文Tarski-Grothendieck 集合论Tarski-Grothendieck set theory 集合论