16/06/19 09:25:57.46 VLlQBAwE.net
>>29
> それは、n→∞の極限で、それまでと数学的な特性なり性質のなにかが変わってしまって、命題10.5 の(3) のようにそれまで適用できていた定理が適用できなくなるからだ
> 逆に、そういうことが生じなければ、数学的帰納法は、n→∞の極限でも適用できる
>>27-29
補足ありがとう。では、『スレ主の定理』>>10の適用条件を補足しておこう
-------------------
スレ主の定理：「数学的帰納法は、ZFCの選択公理と無限公理を認めるなら、”n=∞でも成り立つ”」
ただしn→∞の極限でそれまでと数学的な特性なり性質のなにかが変わってしまわない場合に限る
-------------------
綺麗にまとまったな。よかったよかった