>>534
>自分で裏を取るのは当たり前
　でも実際はできていない　
　論理による思考ができてないから

>例えば、
>＊＊先生が「選出公理」と書いているが、
>明らかに”選択公理”のことだろう
　君に正せるのは、字面の誤りくらいしかない
　ついでにいうと選出でも選択でもどっちでもよい

　ところで分出というのは、おそらく
　「元になる集合から、ある性質を満たすものを抜き出す」
　という意味で名付けられたのだろう
　内包公理は
　「”全体”から、ある性質を満たすものを抜き出す」
　ということになってるから
　古典論理もしくは直観主義論理の集合論で、
　全体の中に全体があると矛盾をもたらす
　ということだろう