>>773
>最小値原理は、多分超限帰納法でも使えるんだわ
「多分」は要らない
で、>>762の
>N∪ω にもそのまま適用できる気がする
はやってみたか？さっさとやれよ！
おまえがω+1の超限帰納法をどう書くか
採点してやっからｗｗｗｗｗｗｗ

>　771（dccを満たす証明について） は
>無限列にしか意味ないよ
>有限列なら、自明だから
ん？言葉忘れたのか？🐒ｗ
「無限順序数でしか意味ないよ
　有限順序数なら、自明だから」だろ？
言葉を正確に話せない🐒には数学は無理だぞ