AION仙箱数学设定第六续写 (5-5)

　　当然，既然以上有无穷构造的定义，以下就会有格罗滕迪克宇宙的集

ZFC宇宙v的子类u是格罗滕迪克宇宙:1.如果x∈u，y∈x，则y∈u(关于∈的推移性)2.如果x，y∈U，则{x，y}∈U(关于配对的结构是闭合的)3.如果x∈U，则Pow(x)∈u(关于幂集合是闭的)4.I∈U，f:I→U，则∪(f)∈U(关于族的合并是封闭的)5.U∈V(V的元素)6.ω∈U(具有无穷集)∪(f)是⋃i∈If(i)的缩写。ω是整个自然数的集合。如果去掉第五个条件U∈V，v本身就是格罗滕迪克宇宙。但是，格罗滕迪克宇宙“不过大”是个迷，所以小〈smallness〉的条件有U∈V。low〈Zhen Lin low〉把去掉最后ω∈U的东西称为预宇宙〈pre-universe〉。空类(空集合)成为预宇宙(虽然是虚的例子)。也可以制作只包含有限集合的预宇宙。也可是，更多出现与代数几何，范畴有关的领域里。不过也仅仅是等价于强不可达性大基数的存在（即一个无限基数κ会使得Vκ⊨ZFC.它可以断言Con(ZFC)。

数学之塔——长篇小说-d146提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。