>>82
AIに尋ねたら、そもそも乗法から加法の復元は、ZFCでは無理な可能性が大であり
これがZFCで可能とする望月新一の主張は、ちょっと疑わしいとのことである
ショルツェとスティクスの指摘も上記の観点から見ると大変興味深い

simplification非難に固執するのは、数学が何も見えてない素人だけかと