您即将离开知乎，请注意您的帐号和财产安全。
https://www.quantamagazine.org/how-godels-incompleteness-theorems-work-20200714
