Grothendieck宇宙和ZFC传递模型等价吗？
2023-11-29 阅读 34
是的，Grothendieck宇宙和ZFC传递模型是等价的。在ZFC集合论中，一个传递模型是指一个集合模型，其中每个元素都是集合并且集合的元素也都是集合。而Grothendieck宇宙是一个满足一些特定性质的集合的层次结构，其中每个层次都是一个集合，并且包含了所有比它低一层的集合。根据Gödel-Bernays公理化集合论，可以证明Grothendieck宇宙和ZFC传递模型是等价的。换句话说，ZFC集合论中的任何传递模型都可以看作是一个Grothendieck宇宙。
更新于 2023年11月29日
