>>541
>前スレで、おサルを公開処刑してくれた前スレのID:2cYyqlhCさん

そいつは翌週に「真の数学科卒業生」に処刑されたけどな

>>300
2021/07/03(土) 06:49:25.96ID:UwME3gY3
集合形式による降下列の定義についても考えてみました　
　(1) xの全ての要素は順序数である
　(2) ∀y.(y⊆x＆y≠{}→∃m∈y．m=max y)

>>335
2021/07/03(土) 11:49:34.59ID:UwME3gY3
6/20 jA2rtNGF さん の２つの誤り
１．相手の誤り
　　6/19 dMVF6Ao+　さんではなく「スレ主」さんにいうべきでした
２．説明方法の誤り
　「上昇列」の定義ではなく「降下列」の定義を示すべきでした
　　そして無限降下列の存在から矛盾を導く証明を示すべきでした

>>342
2021/07/03(土) 11:58:40.26ID:UwME3gY3
そもそも、降下列の話だったのに「スレ主」さんが
「無限上昇列が存在する　その順序を逆転させるだけで無限降下列ができる」
といいだしたんですね　そこから
「いやいや、上昇列の順序を逆転させても降下列にはならないよ」
という方向に話が進んだのであって、本筋は降下列です

つまり「順序を逆転させても降下列にならない上昇列の定義」なんて
示しても意味がなかったわけで、やはり「降下列の定義」を端的に示すべきでしたね