【数学】〈続報〉「ＡＢＣ予想（オステルレ・マッサー予想）」望月教授による証明が数学界を二分

[0187 名無しのひみつ 2017/12/28(木) 20:22:11.76 ID:gms9yOAv]

>>185
それは無矛盾じゃなくて誤謬
無矛盾というのは

ある体系Tに対してAは無矛盾　≡　Tで¬Aが証明不能

という概念