17/09/22 06:47:45.87 gAp+cSZn.net
>>442
＞＞ここで、k→∞ を考えると、共有しっぽ{s_d+k+1,s_d+k+2,・・・}は、→not φですよ
＞何故？
「異数学的帰納法」とは
「どのｎでも長さ∞の共有しっぽが存在するから
ｎ＝∞でも全く同様に長さ∞の共有しっぽが存在する」
という論法のようです
17/09/22 06:47:45.87 gAp+cSZn.net
>>442
＞＞ここで、k→∞ を考えると、共有しっぽ{s_d+k+1,s_d+k+2,・・・}は、→not φですよ
＞何故？
「異数学的帰納法」とは
「どのｎでも長さ∞の共有しっぽが存在するから
ｎ＝∞でも全く同様に長さ∞の共有しっぽが存在する」
という論法のようです