Kelley《General Topology》附录集合论与MK、NBG、ZFC等价性问询

我刚好研究过Kelley这本经典拓扑教材里的集合论附录，它的公理系统确实是个有意思的变体——是Skolem与A.P. Morse系统的改版，而且明显带着Gödel整理的Hilbert-Bernays-von Neumann（GBN）系统的影子。下面具体拆解它和ZFC、NBG、MK的关系：

1. 和NBG、MK的亲缘关系 #

• Kelley的系统本质上是MK（Morse-Kelley）集合论的一个简化子系统，整体更贴近MK而非NBG。核心依据：
  • 它允许对类进行无限制量化（这一点和MK一致，而NBG仅允许对集合量化，类相关公式是受限的）；
  • 类构造公理和MK的类概括公理逻辑一致，支持用含集合变量、类变量的任意公式定义类，而NBG的类构造只能用不含类变量的公式。不过Kelley做了简化，没有单独列出“真类不可作为元素”的显式公理，但推导中完全支持真类存在（比如所有集合构成的类V）。
• 同时它继承了GBN/NBG的核心框架：明确区分集合（可作为其他类的元素）和类（不可作为元素的真类），这是它与ZFC的根本分界。

2. 和ZFC的关系：可完全嵌入，但严格更强 #

• Kelley的系统严格强于ZFC：它能直接讨论真类的性质，而ZFC的语言里没有“类”的概念，所有关于真类的讨论只能通过元语言间接表述。
• 但ZFC可以被完全嵌入到Kelley的系统中：把ZFC的所有集合对应到Kelley系统里的集合，ZFC的每一条公理在Kelley系统中都能被证明成立。也就是说，ZFC能完成的所有数学推导，Kelley的系统都能覆盖，还能额外处理序数类、基数类这类真类相关的内容。

3. 关键差异点总结 #

总的来说，Kelley的这套系统是为拓扑学（及一般数学）基础构建量身设计的——它兼顾了自然性（不用绕弯讨论真类）和安全性（通过集合/类二分规避罗素悖论），本质上是MK集合论的简化实用版本，和NBG接近但表达能力更强，远强于ZFC且能完全兼容ZFC的所有内容。

内容的提问来源于stack exchange，提问作者Dog_69