各公理が矛盾しないことを証明すればその公理系は無矛盾