- 873 名前：１３２人目の素数さん mailto:sage [2021/10/31(日) 17:11:58.12 ID:+PpCGhCF.net]
- >>773
>最小値原理は、多分超限帰納法でも使えるんだわ
「多分」は要らない
で、>>762の
>N∪ω にもそのまま適用できる気がする
はやってみたか？さっさとやれよ！
おまえがω+1の超限帰納法をどう書くか
採点してやっからｗｗｗｗｗｗｗ
> 771（dccを満たす証明について） は
>無限列にしか意味ないよ
>有限列なら、自明だから
ん？言葉忘れたのか？🐒ｗ
「無限順序数でしか意味ないよ
有限順序数なら、自明だから」だろ？
言葉を正確に話せない🐒には数学は無理だぞ
