- 404 名前：だ
さて、co-tail’を書き換える
{s_d,s_d+1，s_d+2，・・・，s_d+k,s_d+k+1,s_d+k+2,・・・}
↓
{s'_d,s'_d+1，s'_d+2，・・・，s'_d+k,s_d+k+1,s_d+k+2,・・・}
この場合、一致番号はd→d+k+1に移る。同じ同値類Sに属することは明らか
同様にして、d+k+1→d+k+2に移る。これをずっと繰返すことも可能だ
よって、同じ議論は、有限個の数列の場合のしっぽの共有部分、co-tail’についても成立する
>この場合、無限列の箱の位置を示す集合は、
>無限公理による集合ωとは全く異なることになりますね
小学生の書いていることは幼いので理解できないが
”同じ議論は、有限個の数列の場合のしっぽの共有部分、co-tail’についても成立する”ことを再度強調しておく（＾＾ [] - [ここ壊れてます]
