21/08/21 11:36:11.70 1lSME4d3.net
>>52
>注＊） 簡単な話で、数列のしっぽで、同値類の類別だけで止めておいて、代表は無しで良い
> 必要になったとき、100個だったら100個の代表を、そのときに取れば良い
> 代表全体の集合を作る必要がないから、選択公理は使わないで 済ますことができる
大間違い。
100列を作ったときに「100列の決定番号はどれも自然数」が言えるためにはR^N/～の代表系が定まっている必要がある。
時枝戦略を否定したいなら最初にR^N/～の代表系を定めても当てられないことを示さないといけない。
バカに数学は無理なので諦めてください。