- 861 名前：１３２人目の素数さん mailto:sage [2020/11/05(木) 19:36:30.06 ID:w3aXX1q1.net]
- 順序数αについて
フォン・ノイマン宇宙V_αは
以下のように定義される
V_0={}
V_n+1=P(V_n) P(X)はXのべき集合
V_λ=∪（β<λ）V_β (λが極限順序数の場合）
とする
実は、ツェルメロの順序数もフォンノイマンの順序数も
順序数nについては
n∈V_n+1 かつ ¬n∈V_n
を満たす
そして「V_ω+1の要素で、V_ωの要素でないもの」は、すべて無限集合
