望月新一のラベル貼替術は、しかるべき公理に基づくものではないので、その意味でダメダメ
公理を明確に示し得た場合、おそらくZFCとは独立のものになる可能性が大

ABC予想がZFCでは決定不能で、新たな公理の設定により証明可能となる、とすると
それはそれで重大な成果であるが、まだそのような主張ができるほど前提が明確化されてない