「ある公理を加えることにより既存の無矛盾な論理式が矛盾するようになるか、既存の矛盾が解消されるかは公理の内容による」


これは一体何なんだ?