>>73
> ZFCは、多くの基礎論以外の数学者がやっている数学研究には役立たない
> その大きな原因の一つが、ZFCの一階述語論理限定だろう
 原因は見当違い 素人はわけもわからず平気で口から出まかせをいう ひろゆきかw
 単純に置換公理が強すぎるだけのこと