21/11/15 07:03:39.58 PvleFi78.net
>>337
そもそも無限シングルトンが集合でない
という根拠の一つに下降列がでてきた
ω>・・ >ｎ>・・>1>０ が下降列ではないとすると、
何で無限シングルトンが集合でないかというと
下降列の各項に()を対応させた場合
ωに対応する()を外したら
その最外にはもはや｛｝が存在せず
要素をとることができなくなるから
21/11/15 07:03:39.58 PvleFi78.net
>>337
そもそも無限シングルトンが集合でない
という根拠の一つに下降列がでてきた
ω>・・ >ｎ>・・>1>０ が下降列ではないとすると、
何で無限シングルトンが集合でないかというと
下降列の各項に()を対応させた場合
ωに対応する()を外したら
その最外にはもはや｛｝が存在せず
要素をとることができなくなるから