20/04/13 16:23:20 ukZx7597.net
>>530
＞IUTの論文でZFC公理系の公理の数が9個って指摘
ああ、選択公理と置換公理は実は公理図式じゃから
式として数えたら実は無数にあるという話じゃろ？
ま、集合論研究者以外そんなこと知らんじゃろ
あの人らは、そういうことには無頓着じゃからのう
しかし系３．１２の「証明」に集合論とか絡んでおるんか？
もしそうならもっと炎上してそうなもんじゃが
20/04/13 16:23:20 ukZx7597.net
>>530
＞IUTの論文でZFC公理系の公理の数が9個って指摘
ああ、選択公理と置換公理は実は公理図式じゃから
式として数えたら実は無数にあるという話じゃろ？
ま、集合論研究者以外そんなこと知らんじゃろ
あの人らは、そういうことには無頓着じゃからのう
しかし系３．１２の「証明」に集合論とか絡んでおるんか？
もしそうならもっと炎上してそうなもんじゃが