- 373 名前：現代数学の系譜11 ガロア理論を読む mailto:sage [2017/01/07(土) 09:40:23.99 ID:3+lYjsf1.net]
- >>4 もどる
ついでに
>逆に非可測な集合をこさえるには選択公理が要る(ソロヴェイ， 1970年)から，この戦略はふしぎどころか標準的とさえいえるかもしれない.
>しかし，選択公理や非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.
数学ロジックとして、全く奇妙だ
前段で、選択公理を使って標準的といっておきながら
後段で、「しかし，選択公理や非可測集合を経由したからお手つき」だと
後段の”選択公理や非可測集合”の部分で、選択公理と非可測集合とを並列にするところが変
”しかし，非可測集合を経由したからお手つき， と片付けるのは，面白くないように思う.”が正しいだろ？
つまり、選択公理は標準で、非可測集合経由が非標準
