19/10/22 16:00:20.78 CwCP0Vgx.net
>>457
>当然、このような上昇列を逆に辿る無限降下列は、（最小元が存在するため）禁止されていないので、存在しうる
じゃあ存在を証明してみ？
ωの”一つ前”が存在しないのにどうやって逆に辿るのか示してもらいましょ？
19/10/22 16:00:20.78 CwCP0Vgx.net
>>457
>当然、このような上昇列を逆に辿る無限降下列は、（最小元が存在するため）禁止されていないので、存在しうる
じゃあ存在を証明してみ？
ωの”一つ前”が存在しないのにどうやって逆に辿るのか示してもらいましょ？