- 754 名前：１３２人目の素数さん mailto:sage [2021/10/30(土) 09:06:45.09 ID:zgBubH+2.net]
- >>674 追加
細かいけど>>655で
「>>654 ではその定理を利用してNはdccを満たすがaccを満たさないの証明を完成して下さい」
だったよね
対して、>>633の証明は、”その定理を利用して”の誘導を無視してない？
それって、院試なら暴走答案でしょ？
合っていれば点はくれるだろうけどねｗ、まあ、大幅減点かもねｗ
>>671
>順序数に関する超現帰納法で証明されますが、その際
>「極限順序数λについて
なんか、知っている言葉を羅列して、ゴマカシているよね
超現帰納法をちゃんと理解していたら
珍説
>>661
（おサルの珍説再録）
珍説1（>>354より）
「＜上昇列 ０＜・・・＜ω が有限列にしかなり得ない」
珍説2（>>363より）
「＜上昇列 ０＜１＜・・・ω という無限列があり得る」と
「＜上昇列 ０＜１＜・・・＜ω が有限列にしかなり得ない」は
両立する
(引用終り)
は、言わないと思うよｗ
