21/09/22 07:30:10.69 J547olS/.net
>>417-419
＞これ別に選択公理とか関係無くね？
同意です
選択公理については、>>2-3にあるように
Sergiu Hart氏 URLﾘﾝｸ(www.ma.huji.ac.il) の
”A similar result, but now without using the Axiom of Choice.GAME2”のように、選択公理不使用のGAME2がある
（可算選択公理で済む）
「ソロベイの定理（下記 wikipedia ご参照）から、ヴィタリのような非可測は否定される」>>3
と書いたけど、
>>117 渕野先生 ”ヴィタリによる非可測集合の構成法を思い出してみると，R が整列可能
なら，ヴィタリが構成したような非可測集合が作れることがわかります．集合論の
公理系が無矛盾なら，選択公理を集合論の公理から除いたものに，選択公理の否定
と R の整列可能性の主張を加えた体系�