18/12/30 07:51:11.93 Fgu/mMxZ.net
>>645
＞１）選択公理、２）数列しっぽの同値類、３）決定番号、４）決定番号が自然数、
＞この４つの数学ロジックの要素で、時枝記事は成り立っているのだと。
まず３）と４）を分ける理由がないね。
さらにいえば、数列しっぽの同値関係から、
同値類の代表元が存在すれば、
決定番号が自然数であることは
自動的に導ける
したがって、時枝記事の成立に必要な前提は
１）数列しっぽの同値類
２）選択公理（による同値類の代表元の存在＆決定番号（自然数）の存在）
の２つだね
ちなみに、一般の無限列のかわりに有理数の小数展開列を用いる場合
２）の選択公理は必要なく、１）の列のしっぽの同値類だけでOK