- 893 名前：１３２人目の素数さん [2016/09/20(火) 13:12:12.16 ID:JNe/5TIk.net]
- >>839,841
>>520
こういう大学行けなかったガイジでなければ誰でも知ってる事だが
集合族は集合であり、当然ながらその集合族の元である集合とは異なる集合だから自己言及パラドックス自体がそもそもパラドックスではないという公理的集合論を知らないままに低学歴は死んで行くのだなwwwww
当然ながら、ZFCではラッセルのパラドックスの回避は公理として明示されない
しかしこれは公理的にパラドックスを回避していない事を意味していない
論理式の記法や集合の記法や記号の意味は、数学的には公理だがZFCの枠組みではそれは当たり前のものとしているから公理とは呼ばれない
なぜならばZFCとは公理的集合論は成立するとの前提の後に語られる公理系でしかなく、論理式や量化や集合・集合族の区別は明示されない公理として受け入れた後の議論だからだ
それ故厳密な基礎論の立場からはそれらの記号の用法をも公理として明示しなければならない
バカがググっても永久に理解出来ないのはこういう点
