印刷化数论

现在我们有了能表达整数陈述的完整形式系统。TNT 足以谈加法、乘法、素数。但能力越大风险越高：它也能谈论“自己”。本章为哥德尔证明铺路，展示一个为数字而建的系统如何意外开始谈论自己的规则。