0220NHK名無し講座垢版 | 大砲2017/10/12(木) 22:43:24.15ID:tNDIe6wL >>198 これはたとえで 一般的に数学の無矛盾は数学の中では証明できないことを厳密に証明したってことでしょ