17/10/31 23:17:14.32 GENG+CRL.net
>>219-220
>>190において
１．現代数学では、”具体的に何項目”と指定できないが、存在しうる概念があると思うよ。（すぐ、貴方に分かりそうな具体例が挙げられないが（＾＾ ）
２．で、「”しっぽの後ろ”とは具体的に何項目のことを指しているのか？（>>142）」と、貴方がしつこく聞いてくる
３．要するに、「存在するなら、具体的に何項目が答えられるべし」という固定観念があると思うんだ
４．で、その対偶から「具体的に何項目が答えられない→存在しない」が言えると。だが、それ（対偶）未証明だろ？
５．そもそも、時枝記事は「実数列の集合 R^Nを考える.
s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s ～ s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると，sとs'が1962番目から先一致し，s'とs"が2015番目から先一致するなら，sとs"は2015番目から先一致する.」（>>18）なのだよ
６．同値類の定義からして、”具体的に何項目が答えられない”概念を扱っているということを、すっかり失念しているか、あるいは、（こちらの可能性大だが）理解できていないかだと思った次第だ
以上