>>56
公理系から正しく導かれたのなら、そのことについて異論はないだろうよ。
望月の場合は証明に穴があるのだから認められないわけで。
新概念とかそういうの関係ない。