フォン・ノイマン宇宙

数学の集合論とその周辺分野において、フォン・ノイマン宇宙 Vとは、遺伝的整礎集合全体のクラスである。この集まりは、ZFCによって定義され、ZFCの公理に解釈や動機を与えるためにしばしば用いられる。
整礎集合の階数(rank)はその集合の全ての要素の階数より大きい最小の順序数として帰納的に定義される。
特に、空集合の階数は0で、順序数はそれ自身と等しい階数をもつ。"V"の集合はその階数に基づいて超限個の階層に分けられ、その階層は累積的階層と呼ばれる。
定義.
この累積的階層は順序数のクラスによって添え字付けられた集合"V"αの集まりであり、特に、"V"αは階数α未満の集合全てによる集合である。ゆえに各順序数 α に対して集合"V"αが超限帰納法によって以下のように定義できる:
この定義で重要なのは、ZFCのある式φ(α,"x")で
"集合"x"は"V"αに属する"
ことを定義できることである。
クラス"V"は全ての"V"-階層の和、すなわち:
と定義される。
同じ定義だが、各αの階層を
と定義できる、ここでformula_4はXの冪集合のことである。
集合"S"の階数はformula_5となる最小のαとも言える。
Vと集合論.
ω を自然数全体の集合とすると、"V"ωは遺伝的有限集合全体の集合であり、無限公理の成り立たない集合論モデルである。"V"ω+ωはordinary mathematicsの宇宙であり、ツェルメロの集合論のモデルである。
κ が到達不能基数ならば、"V"κはZFCのモデルである。そして、"V"κ+1はモース-ケリー集合論のモデルである。
V は二つの理由によって、"全ての集合による集合"とは異なるものである。第一に、これは集合ではない。各階層"V"αがそれぞれ集合でも、その和である"V"は真のクラスであるからだ。第二に、"V"の要素は全て整礎集合に限られている。正則性公理は全ての集合が整礎的であることを要求していて、だからZFCでは全ての集合が"V"に属する。しかし、正則性公理を除いたり否定するような別の公理系を考えることも可能である(例えば)。このような非整礎集合の集合論は一般的に採用はされていないが、研究する余地はある。