20/11/05 19:36:30.06 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_ωの要素でないもの」は、すべて無限集合
20/11/05 19:36:30.06 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_ωの要素でないもの」は、すべて無限集合