>>179
>また、任意の実数列１００列について成立する、
>という主張ですから選択公理は必要です

１．例えば、簡単に２列で考える
２．時枝記事は、事前に全ての数列の同値類の分類と代表選びを完璧に終わらせるという
３．ところで、手抜かりで、1つの同値類の代表選びが、未完だったとする
　時枝記事の戦略は、不成立ですか？
　問題の２列が、未完の1つに該当しなければOKですよね
４．で、同値類の代表選びが、半分（50％）未完だったとする
　同様に、問題の２列が、未完に該当しなければOKですよね
５．では、未完の状態は最低どこまで許容できるか？
　99％未完でも、問題の２列が１％に入れば、OK
　そう考えると、最低レベルは問題の２列のみの同値類と代表があればOK
　それはあまりだというなら、可算無限の同値類と代表で、問題の２列を包含できえればOK。この場合は、可算選択公理で間に合う
　あるいは、有限でも大きな数ｎの同値類と代表で、問題の２列を包含できえればOK。この場合は、有限選択公理で間に合う
　（大は小を兼ねるで、フルパワー選択公理を用意し、ZFCで考えるのはありですが、時枝記事成立だけなら フルパワー選択公理を必要としていません）
QED