>>406
つづき

https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A9%E3%83%B3%E3%83%BB%E3%83%8E%E3%82%A4%E3%83%9E%E3%83%B3%E5%AE%87%E5%AE%99
フォン・ノイマン宇宙
フォン・ノイマン宇宙 Vとは、遺伝的整礎集合全体のクラスである。
この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。

クラスVは全てのV-階層の和、すなわち:
V:=∪α Vα （Vαたちの和集合）
と定義される。

V は二つの理由によって、"全ての集合による集合"とは異なるものである。
第一に、これは集合ではない。各階層Vαがそれぞれ集合でも、その和であるVは真のクラスであるからだ。
第二に、Vの要素は全て整礎集合に限られている。正則性公理は全ての集合が整礎的であることを要求していて、だからZFCでは全ての集合がVに属する。

https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99
グロタンディーク宇宙

グロタンディーク宇宙と到達不能基数
グロタンディーク宇宙が到達不能基数と同値
より形式的に言えば、次の2つの公理が同値である:
(U) すべての集合 x に対して、x ∈ U となるグロタンディーク宇宙 U が存在する。
(C) すべての基数 κ に対して、κ よりも巨大な強到達不能基数 λ が存在する。

つづく