0190132人目の素数さん垢版 | 大砲2020/08/07(金) 13:32:18.33ID:s2QohMxL >>189 不完全性定理はいかなる手段を用いても公理系の無矛盾性を証明できないことは主張してないけど