>>203 つづき

４）決定番号より
　ａ）上記時枝記事より
　”任意の実数列S に対し，袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
　　sとrとがそこから先ずっと一致する番号をsの決定番号と呼び，d = d(s)と記す.”
　ｂ）だから、一つの同値類内で、数列ｓを決定番号ｄによって整列させることができる
　ｃ）上記、推移律より、決定番号ｄの数列ｓと決定番号ｄ＋１の数列ｓ’では、ｄ＋１番目から先が一致する。明らかに、「しっぽ」≠φ
　ｄ）これを繰り返し、∀ｄ∈Ｎ（＝自然数の集合）について、「しっぽ」≠φが言える

５）Ｎ（＝自然数の集合）には、元∞が含まれていないので、”「しっぽ」＝φ”とはならない（>>160で説明の通り）

６）正式証明は、”41 http://rio2016.2ch.net/test/read.cgi/math/1504332595/580-589 ＜時枝数列の同値類のしっぽの共有部分が空集合でないことについて＞証明と説明”（>>11）の通り
　　なお、証明法は坪井明人先生を参考にした。（http://d.hatena.ne.jp/fujicategory/20110622/1308701609 １階論理のコンパクト性 １章 【コンパクト性定理】数学基礎論の勉強ノート 2011-06-22）

つづく

>> つづき