- 632 名前：現代数学の系譜 工学物理雑談 古典ガロア理論も読む mailto:sage [2017/09/16(土) 09:56:56.89 ID:KRHwrxLG.net]
- >>582 つづき
４．本題＜時枝数列（Full数列）の同値類のしっぽの共有部分が空集合でないことについての証明＞
数理論理学II 09 年講義ノート 坪井明人先生 筑波大 www.math.tsukuba.ac.jp/~tsuboi/gra/logic10.pdf
のP12 定理36 （ウルトラフィルターの存在）証明にならって、帰納法に持ち込む。(なお今回は、通常の帰納法（自然数の範囲）で十分である。)
i)ここでは、簡明のため、時枝記事に即して、Full数列の同値類を考える ＊）
（＊）部分数列を含めてもほぼ同じだが、記載が煩雑になる。）
ii)あるFull数列 A を用いて、同値類を作る。A= (a1，a2，a3 ，・・・,a_n0，a_n0+1，a_n0+2，・・・)に対して、
