机构名称：
¥ 1.0
哥德尔的两个不完备性定理中的第一个指出“任何一致的形式系统 F，只要其中可以执行一定数量的基本算术，都是不完备的”6。这意味着 F 中存在既不能证明也不能反驳的陈述（F 中的“哥德尔句”可以称为 GF）。每个系统都有自己的哥德尔句。虽然可以定义一个新的、“更具包容性”的系统 F'，并由整个 F 以及之前的哥德尔句 GF 作为公理组成，但这不会产生一个现在完整的系统，因为该定理也适用于修改后的 F 版本，因此 F' 也不完整。因此，GF 将成为 F' 中的一个定理，这并不与哥德尔第一定理相矛盾，因为 GF 在 F 中无法证明，而不是在 F' 中。然而，由于第一定理适用于F'，因此存在一个新的哥德尔句子GF'，证明F'也是不完整的。
哥德尔不完备定理及其对计算的启示
主要关键词
相关文件推荐
