>>530
＞IUTの論文でZFC公理系の公理の数が9個って指摘

ああ、選択公理と置換公理は実は公理図式じゃから
式として数えたら実は無数にあるという話じゃろ？

ま、集合論研究者以外そんなこと知らんじゃろ
あの人らは、そういうことには無頓着じゃからのう

しかし系３．１２の「証明」に集合論とか絡んでおるんか？
もしそうならもっと炎上してそうなもんじゃが