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