既存の数学の公理体系と矛盾しない新たな公理を設けた数学大系の中では証明ができる
ということを示せれば、それで、もって無事に解決したりしないの？