19/10/06 18:31:31.23 Gc2q5hFd.net
>>162
> >>151 補足
> ツェルメロの自然数構成で
> 0：Φ
> 1：{Φ}
> 2：{{Φ}}
> ・
> ・
> n：{・・{Φ}・・} n重
> これで、全ての有限の自然数は構成できる
> 無限公理で、Nとωが出来たあとに、
> ω：{・・{Φ}・・} ω重 （ωは、下記のwikipedia定義に従う）
> と定義すれば良い
> 下記、順序数「すべての自然数が並び終えると、次に来るのが最小の超限順序数 ω である」
> 但し、下記”順序型というアイデア”を使う
> QED
と定義すれば良いって定義になってないでしょ？
この場合
X∈Ω
と同値であるXについての条件を書き下さねばなりません。
それはなんですか？
アイデアがあるならそれに従って定義を書き下してください。このアイデアにそってやればできるなんて証明は通用しません。