0217132人目の素数さん垢版 | 大砲2020/08/08(土) 19:35:29.66ID:c/mjQwrV >>215 健全性定理より、数学が無矛盾かどうかは確かめられます 何度言えばわかるのでしょうね