>>445
>前スレID:jA2rtNGF氏が、おサルのサイコパスを、ボコボコにしてくれたのです

その妄想を、昨日のID:UwME3gY3こと「真の数学科卒業生」が
完全にひっくり返しちゃったな

論理式による降下列の定義をあっさり示した上に
無限降下列が存在すると、最小元が存在しない順序数の集合が
出来てしまって順序数の定義と矛盾するって、
しれっと証明されちまっちゃあね

やっぱり本物は切れ味が全然違うよな 
工学部卒の演じる偽物には逆立ちしてもできない

>「<上昇列 0<・・・<ω が有限列にしかなり得ない」

もともと、無限降下列が存在しないって言ってたんだから
降下列にならない上昇列があるとかいっても意味ないよな