>>337
そもそも無限シングルトンが集合でない
という根拠の一つに下降列がでてきた

ω>・・ >ｎ>・・>1>０　が下降列ではないとすると、
何で無限シングルトンが集合でないかというと
下降列の各項に()を対応させた場合
ωに対応する()を外したら
その最外にはもはや｛｝が存在せず
要素をとることができなくなるから