17/06/12 00:52:12.88 mvQuRrmk.net
>>589
> だが、それについて、Sergiu Hart氏 書いている
「それ」はスレ主が書いた内容ではないです
>>572
> 前提として出題者と解答者は共通の知識として任意の無限数列に対してある項から先の値を全て知っている
> (ある自然数dがあってXdから先のXi (i > d-1)の値を全て知っている)
有理数バージョンならば循環節の長さは有限だから選択公理を使わなくても上の前提は成り立つので
> 「選択公理を使った場合でも使わない場合でも、驚くべき結果になる！」