>>779
＞ヒントのうちだよ
　誤解のうちだよ　だろ？
　いいかげん自分がなんもわかってないって気づこうな　🐒

そもそも超限帰納法を理解してたら
いかなる順序数の降下列も有限長であることは
「自明」なんだが