>>355
ID:pI+/SLw0さん、どうも。スレ主です。
いやー、これ面白い考察だね
発想が新鮮なので、びっくりした（＾＾；

ところで疑問点
１．”「シッポ」は必ず無限数列になりさらに「シッポ」を取り除いた「アタマ」は有限数列になるのでその長さも決定できる”は、要証明だな
　　∞−∞＝有限 を証明することになると思うよ
２．”可算無限個の異なる実数(有理数)を任意の順番で並べたものは可算無限個の自然数を並びかえたものとみなせる”は、ちょっと意味が取れなかった
３．”可算無限個の異なる実数(有理数)から数列を作った場合だと無限数列をa1, a2, ..., an, ... の形で表した時点で任意の順番ではなくて時枝解法が成立する順番に限定されている”
　　も、ちょっと意味が取れなかった。特に、「時枝解法が成立する順番」の定義は？ 「限定されている」の意味、あるいは証明