形式上不可判定的命题

全书的核心。我们一步步走过哥德尔证明：1）建立编码，把公式变成数字；2）写出谈论数字的公式；3）让这公式谈论“自己的”号码。结果得到一句话 G：'我不可证'。若它为假，系统崩溃；若它为真，系统不完备。真理超越可证性。