您即将离开知乎，请注意您的账号和财产安全。
https://infinityplusonemath.wordpress.com/2017/08/04/godels-incompleteness-theorems/
