フォン・ノイマン宇宙

集合Xに対してP(X)でXのべき集合を表す

V0={}
V1=P(V0)={{}}
V2=P(V1)={{},{{}}}
V3=P(V2)={{},{{}},{{{}}},{{},{{}}}}

推移的でない集合{{{}}}は、V3で現れる