第15章：一致性与完备性——形式系统的两堵墙

文档摘要

第15章：一致性与完备性——形式系统的两堵墙你能建造一个不说谎、又无所不知的系统吗？第14章给了我们一台精密的机器：形式系统接受公理，按推断规则运行，输出定理。这台机器看起来很可靠。但"看起来"不够好。我们需要知道它实际上有多可靠。这个问题有两个维度，方向相反。第一个维度：系统会不会说谎？也就是说，它证明出来的东西，是不是都真的成立？这叫一致性。第二个维度：系统会不会遗漏？也就是说，所有真的东西，它能不能都证明出来？这叫完备性。两个要求都很合理。20世纪初，数学家 David Hilbert 雄心勃勃地相信，可以为整个数学建立一个同时满足这两个条件的形式基础——严格、完备、无懈可击。这个计划叫做 Hilbert 纲领。