V就是馮諾依曼宇宙。馮諾依曼宇宙就是從?開始,不斷取冪集:
V0=?
V1={?}
V2={?,{?}}
……
Vn+1=P(Vn)表示取Vn的冪集
……
Vω=V1∪V2∪……∪Vκ(κ<ω)這一步表示取在Vω之前的一步的冪集,因?yàn)椴淮嬖讦?1這種東西,所以就用一個(gè)小于ω的κ來表示。
……
Vλ:若λ=α+1,Vλ=P(Vα)
若λ≥ω(即λ為極限序數(shù)),∪Vκ(κ<λ)
Vλ這一步其實(shí)是對于Vn+1和Vω的分類討論。其中λ=α+1表示的是有限情況下,λ≥ω表示的是無限的情況下。
V=∪Vκ(κ),κ跑遍所有序數(shù)。