>>533
>ええ、だから、>>502よりω＝{0,1,2,・・,n,・・} （全ての自然数を尽くす）
>これで、}のすぐ左の元は、決まらない（その意味で存在しないと言ってもいい）
はい、最大自然数なるものは存在しませんから

>でも、ω＝{0,1,2,・・,n,・・}を集合と認めるわけだ
はい、無限公理で認められてますから

>こっちを認めて、あっちを認めないというのは、いわゆるダブルスタンダードですよ
なんでダブスタなんですか？
一方は公理で認められた無限集合、他方は集合たり得ない変なもの、全然別モノですけど？