22/01/01 16:44:46.37 .net
>>533
>ω={0,1,2,・・,n,・・} (全ての自然数を尽くす)
>これで、}のすぐ左の元は、決まらない(その意味で存在しない)
その通り
従ってω={x}という形で表せない
なぜならxは0,1,2,・・,n,・・の最大元だから
しかし0,1,2,・・,n,・・の最大元が存在しないとしたら…
しかたないのでω={0,1,2,・・,n,・・}とでもするしかない
0,1,2,・・,n,・・じゃなくてもその中の無限個の元を選べばいいですけどね