17/09/22 06:34:00.66 gAp+cSZn.net
>>431
＞k→∞ を考えると、共有しっぽ{s_d+k+1,s_d+k+2,・・・}は、→not φですよ
それこそ数学的帰納法の外ですね
∞は自然数ではありませんから
任意の自然数ｎについて s_nが共有しっぽの先頭でない
と証明されたのなら数学的帰納法により
共有しっぽは存在しない
とするのが高校生でもわかる正しい証明です
17/09/22 06:34:00.66 gAp+cSZn.net
>>431
＞k→∞ を考えると、共有しっぽ{s_d+k+1,s_d+k+2,・・・}は、→not φですよ
それこそ数学的帰納法の外ですね
∞は自然数ではありませんから
任意の自然数ｎについて s_nが共有しっぽの先頭でない
と証明されたのなら数学的帰納法により
共有しっぽは存在しない
とするのが高校生でもわかる正しい証明です