それなら自己の矛盾性であれば自己の公理だけで証明できるんですか?