>>417
>そういう話をしたら、例によっておサルが噛みついてきたのです
ド素人発言をして玄人に突っ込まれまくるのが
あなたのお家芸なのかと思ってましたが違うんですか？

＞彼は最初は、可算多重シングルトンだと、一番外の{}が存在しないとか言った
{}から外に順々に｛と｝をかぶせるならそうなるね

＞次に言ったのが、可算多重シングルトンは正則性公理に反すると言った
どうせあなたが
「一番外側の｛｝はある、｛と｝の間に{}を入れていくんだ」
といったんでしょう？

＞そこから、正則性公理→無限降下列に話が行く
内側にどんどんいれていくんなら、
無限降下列ができてしまい
正則性公理に反しますよね　
（そもそも順番が逆　無限降下列→正則性公理の否定、です）

＞それに反論する過程で、おサルは
＞”＜上昇列　０＜・・・＜ω　が有限列にしかなり得ない”
＞と言い出して
どうせ、あなたが
「順序数の列、０，１，・・・，ω　をひっくり返すだけで
　ほ~ら、無限降下列の出来上がり」
みたいなナイーブな馬鹿発言をしたんでしょうｗ
それじゃ、降下列の条件を満たさないってことすらわからない
だいたい「全ての順序数が現れなければならない」と思うのが馬鹿
いったいどこからそんな幻聴が聞こえたのかわからんが
まっさきにそれを振り払えｗ

＞かつ、０＜・・・＜ω で、ωの前者はなんだ？という話に繋がっているのです
あなたがおもいついた「なんちゃって降下列」が降下列でないことを示す
もっとも簡単なツッコミポイントが、「ωの前者は何」ってことです

ないでしょ？だったらあなたの列は降下列ではないですね
いっときますが、降下列は、ω未満の全ての順序数が現れる必要などないし
そもそもそんな降下列はつくれません
ω＞ｎとする時点で、ｎより大きくωより小さい無限個の自然数は
全部すっ飛ばされます　どんな大きなｎを選んでもそうなります
それが降下列の宿命ってことに気づかない時点であなたは大馬鹿です