23/12/16 04:45:49.69 ct7SpJpK.net
>>534
>自分で裏を取るのは当たり前
でも実際はできていない
論理による思考ができてないから
>例えば、
>**先生が「選出公理」と書いているが、
>明らかに”選択公理”のことだろう
君に正せるのは、字面の誤りくらいしかない
ついでにいうと選出でも選択でもどっちでもよい
ところで分出というのは、おそらく
「元になる集合から、ある性質を満たすものを抜き出す」
という意味で名付けられたのだろう
内包公理は
「”全体”から、ある性質を満たすものを抜き出す」
ということになってるから
古典論理もしくは直観主義論理の集合論で、
全体の中に全体があると矛盾をもたらす
ということだろう