>>316
>そういう経緯を無視して、「スレ主のように選択公理と相反する決定性公理だったかを仮定する方が腰抜かすよ。
>普通の素朴集合論の本には決定性公理なんか書かれていない」は、全くの筋違い
選択公理と決定性公理は、相反する公理だから、同時に両方仮定してはいけない。
同時に両方仮定したら、公理の前提が偽になって、証明した命題がすべて正しくなる。
両方同時に仮定すると、数学が無意味になる。それを避けるため、通常は選択公理の方を仮定する。
その選択公理は素朴集合論で扱っている。