>>366
1. 順序数について調べよう

2. たとえば整数全体 ... , -n, ... , -2, -1, 0, 1, 2, ... , n, ... を 0, 1, -1, 2, -2, ... , n, -n, ... と並びかえることの
逆を自然数全体で行えば 1, 2, ... , n, ... を ... , 2n+1, ... , 5, 3, 1, 2, 4, ... , 2n, ... と並びかえることになる

3. 上の整数全体の例をそのまま使うと ... , -n, ... , -2, -1, 0, 1, 2, ..., n, ... では時枝解法が成立しないが
0, 1, -1, 2, -2, ... , n, -n, ... は「時枝解法が成立する順番」である
(つまり「アタマ」=有限数列かつ「シッポ」=無限数列になるということ)
「限定されている」というのは無限数列をa1, a2, ..., an, ... と書いた時点で「アタマ」=有限数列かつ
「シッポ」=無限数列になるように既に並びかえられているとみなせるという意味
説明のために極端な例を挙げるが ... , -n, ... , -2, -1, 0, 1, 2, ..., n, ... と 0, 1, -1, 2, -2, ... , n, -n, ...
の2つの数字の並べ方のみを考えた場合だとa1, a2, ..., an, ... の形で表せばa1=0, a2=1, a3=-1, a4=2, ...
とするしかない