17/09/21 23:00:43.73 rOngwWSD.net
>>424
>>・co-tail が存在しない証明
>>>98
>私が完璧に証明してしまったので、あなたは co-tail は
>＞{s_n, s_(n+1),...}
>のように書き表せないなどと苦しい言い訳をした。
ああ、その>>98があなたの妄想証明でしたか？（＾＾
（>>98より）”ある同値類 S の全ての元が共通のしっぽ co-tail={s_n, s_(n+1),...} を持つと仮定する”
の部分が、未証明でギャップありですよ。
反論は、私が>>104に記した通りですよ。”co-tailを{s_n, s_(n+1),...}と書くことはできない”ですよ！
∵ ペアノの公理 "2.任意の自然数 a にはその後者 (successor)、suc(a) が存在する（suc(a) は a + 1 の "意味"）"（>>104より）
補足として、>>382をご覧下さい。>>382で、二つの数列
s = (s1，s2，s3 ，・・・，s_d,s_d+1，s_d+2，・・・，s_d+k,s_d+k+1,s_d+k+2,・・・)と、
s'のco-tail’を書き換えた後の数列をs''として
s''= (s'1， s'2， s'3，・・・，s'_d,s'_d+1，s'_d+2，・・・，s'_d+k,s_d+k+1,s_d+k+2,・・・)∈R^N
sとs''の対比で、一致番号はd+k+1、共有しっぽは{s_d+k+1,s_d+k+2,・・・}
ここで、k→∞ を考えると、共有しっぽ{s_d+k+1,s_d+k+2,・・・}は、→not φですよ
k→∞では、あなたのいう、{s_n, s_(n+1),...}のように書き表せない！！
QED
追伸
>>382の説明はね、ピエロ先生にはご理解頂けたようです
さすがに、あなた方より、レベルが高いようですね。（＾＾
なお、あなたにも、>>429引用のゼルプスト殿下(藤田博司先生 愛媛大)と坪井明人先生 筑波大のPDF熟読をお願いしますよ！（＾＾