>>301
"誤解を生まないように"と言いながら、誤解が深まったというか
言いたいことが分からん

まあ>>303の後半を読んで見てください

それと

>あと、普通は、選択公理を認めて
>成り立つすべての命題は、選択公理を認めなくても成り立つ
>と考えるのが標準的な考え方。

それは全く正反対だろ
みなびっくりで、腰抜かすだろうさ
「選択公理を認めて成り立つすべての命題は、選択公理を認めなくても成り立つ」なら、選択公理は不要だ
しかし、基礎論の教えるところ、選択公理は他の公理から独立だと