>>165-166
ありがと
おサルさんとは、別人みたいだね

> 1.「{}の可算多重」は通常の解釈では
>  そもそも集合でないアトムになるか、正則性公理に反する

”集合でないアトムになるか、集合ならば正則性公理に反する”という意見ね
別それでも良いよ。なお、おれの意見は、>>167

> 3.集合論の中で、順序数ωを構成するだけなら、
>  「{}の可算多重」でない形で実現できる

最初から認めているよ、そこは

>要点は3
>なんでωが{{},{{}},{{{}}},…}だと嫌なんだい?

誤解があるけど、そもそもは数年前に、「{}の可算多重」の否定に固執して、集合論が分かってないと、背乗りしてきたのが議論の発端でね
なんで、「{}の可算多重」の否定に固執するのか? が、こちらの主張だよ

まあ、あなたのレベルの高さは
よく分かったよ。おサルさんとは、大分違うね