16/08/27 11:45:16.21 /+f9Uup4.net
>>306
＞>あと、普通は、選択公理を認めて
＞>成り立つすべての命題は、選択公理を認めなくても成り立つ
＞>と考えるのが標準的な考え方。
＞
＞それは全く正反対だろ
＞みなびっくりで、腰抜かすだろうさ
＞「選択公理を認めて成り立つすべての命題は、選択公理を認めなくても成り立つ」なら、選択公理は不要だ
＞しかし、基礎論の教えるところ、選択公理は他の公理から独立だと
スレ主のように選択公理と相反する決定性公理だったかを仮定する方が腰抜かすよ。
普通の素朴集合論の本には決定性公理なんか書かれていない。