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

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

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

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

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

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

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

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