>>215
健全性定理より、数学が無矛盾かどうかは確かめられます

何度言えばわかるのでしょうね