- 822 名前：１３２人目の素数さん [2016/09/20(火) 00:39:47.86 ID:JNe/5TIk.net]
- 当然ながら、ZFCではラッセルのパラドックスの回避は公理として明示されない
しかしこれは公理的にパラドックスを回避していない事を意味していない
論理式の記法や集合の記法や記号の意味は、数学的には公理だがZFCの枠組みではそれは当たり前のものとしているから公理とは呼ばれない
なぜならばZFCとは公理的集合論は成立するとの前提の後に語られる公理系でしかなく、論理式や量化や集合・集合族の区別は明示されない公理として受け入れた後の議論だからだ
それ故厳密な基礎論の立場からはそれらの記号の用法をも公理として明示しなければならない
バカがググっても永久に理解出来ないのはこういう点
