- 328 名前：現代数学の系譜11 ガロア理論を読む [2016/08/27(土) 11:34:16.17 ID:p4uDbuUE.net]
- >>301
"誤解を生まないように"と言いながら、誤解が深まったというか
言いたいことが分からん
まあ>>303の後半を読んで見てください
それと
>あと、普通は、選択公理を認めて
>成り立つすべての命題は、選択公理を認めなくても成り立つ
>と考えるのが標準的な考え方。
それは全く正反対だろ
みなびっくりで、腰抜かすだろうさ
「選択公理を認めて成り立つすべての命題は、選択公理を認めなくても成り立つ」なら、選択公理は不要だ
しかし、基礎論の教えるところ、選択公理は他の公理から独立だと
