- 184 名前：１３２人目の素数さん mailto:sage [2021/10/13(水) 12:04:20.41 ID:q1aEYon0.net]
- >>165-166
ありがと
おサルさんとは、別人みたいだね
> １．「{}の可算多重」は通常の解釈では
> そもそも集合でないアトムになるか、正則性公理に反する
”集合でないアトムになるか、集合ならば正則性公理に反する”という意見ね
別それでも良いよ。なお、おれの意見は、>>167ね
> ３．集合論の中で、順序数ωを構成するだけなら、
> 「{}の可算多重」でない形で実現できる
最初から認めているよ、そこは
>要点は３
>なんでωが{{},{{}},{{{}}},…}だと嫌なんだい？
誤解があるけど、そもそもは数年前に、「{}の可算多重」の否定に固執して、集合論が分かってないと、背乗りしてきたのが議論の発端でね
なんで、「{}の可算多重」の否定に固執するのか？ が、こちらの主張だよ
まあ、あなたのレベルの高さは
よく分かったよ。おサルさんとは、大分違うね
