>>73
>二つの数列の先頭部分
>数列s = (s1，s2，s3 ，・・・ ，sn, sn + 1・・・）
>数列s' = (s'1，s'2，s'3 ，・・・ ，s'n, s'n + 1・・・）
>は、各どの数も一致する理由なし！

>よって、
>数列s'を代表と考えて

sとs'がどの項も一致しない時点で
同値じゃないじゃんｗ

スレ主ついに発狂したか？ｗ

Nがペアノの公理を満たす集合なら
Nに最後の元は存在しないから
有限列の場合のように、
決定番号の先の尻尾がとれない
ということはない

つまり。時枝戦略は必ず成功する

スレ主　死す！