>>198
これはたとえで
一般的に数学の無矛盾は数学の中では証明できないことを厳密に証明したってことでしょ