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