19/10/08 09:37:02.76 ofPIORDH.net
>>210
>>211
> >>210
> つづき
>
> ここで、現代数学の順序同型(下記)を借用しましょう
> ”整列順序型N’:0,1,2,・・,n,・・” は、ちょうど自然数N全体を渡り、自然数Nと順序同型です
> これを認めれば、ツェルメロの整列順序型E’とノイマンの整列順序型Eとは、順序同型
> 全単射で、ツェルメロのΩが、ノイマンのωに対応する
>
> よろしいでしょうか?
>
ダメです。
あなたはωから先にダッシュをつけて区別しますが2以降はツェルメロ構成とノイマン構成では違うものでしょ?
なのでもうここから区別しないとダメです。
ノイマンの構成ではまず
0,1,2,3,‥‥
が順に構成され、それと無限公理から存在が保証されている
E= {0,1,2,‥‥} ∪ {いらないもの}
の存在が保証されています。
ここから分出公理で
{x∈E | x: finite, x: ordered inthe sence of Neumann}
という集合がとれますがコレでいらないもが削ぎ落とされて
求めるωがとれたのでした。
あなたが同様にというならこの
x: finite, x: ordered inthe sence of Neumann
の部分を何に書き換えるのかを明示しないと何をやってもダメです。