20/11/06 06:32:58.64 bMp0VkKr.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/06 06:32:58.64 bMp0VkKr.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_ωの要素でないもの」は、すべて無限集合