自己の矛盾性を証明可能でかつ無矛盾な体系