「ZFCGがZFCの保存拡大」って間違った主張をしているのは
ABC予想をZFCGで証明した後その主張からZFCの定理であると言うため？
だとするとかなり致命的なんじゃないの？