即将离开知乎

您即将离开知乎，请注意您的账号和财产安全。

https://www.wikiwand.com/en/G%C3%B6del%27s_incompleteness_theorems#Second_incompleteness_theorem