いや、1!=2 なので証明できません。 証明できるならば、その体系は矛盾している。