哥德尔不完全性定理的推广形式及其哲学影响

逻辑学研究 2020 年第 1 期，87–110   文章编号：1674-3202(2020)-01-0087-24

作者：赵晓玉

摘 要：本文主要有五方面内容：一是将哥德尔不完全性定理涉及的一致性、语法完全性、ω-一致性、相对于 的可靠性、相对于的完全性、可定义性等元理论性质推广成更一般的形式，并对其性质进行深入研究；二是简要回顾 Salehi 和 Seraji 所证推广的哥德尔第一不完全性定理，并就其关键定理给出更简洁易读的新证明，同时额外证明 2 组推广的哥德尔第一不完全性定理：任给 n > 0，如果 T 是包含罗宾森算术的、-可定义的（Πn-可定义的）、-可靠的算术理论，那么 T 不是 -决定的；三是简要回顾 Seraji 和本文作者所证推广的哥德尔第二不完全性定理，并给出新证明，同时额外证明 2 组推广的哥德尔第二不完全性定理：任给 n > 0，如果 T 是包含皮亚诺算术的、-可定义的（-可定义的）、-可靠的算术理论，那么 T 不能证明自身 -可靠性；四是用两种方法再证明 4 组与一致性相关的推广的哥德尔第二不完全性定理：任给 n > 0，如果 T 是包含皮亚诺算术的、一致的、-可定义的（-可定义的）、-完全的（-完全的）算术理论，那么 T 不能证明自身一致性，同时给出 2 组可证自身一致性的算术理论；五是基于推广的哥德尔不完全性定理，从对形式化方法局限的反驳、对反机械主义的支持、对数学家地位的维护等三个方面重新审视哥德尔不完全性定理所产生的哲学影响。

关键词：不完全性；非递归可枚举理论；一致性；Γ-一致性；Γ-可靠性；Γ-完全性；Γ-可定义性；哲学影响

中图分类号：B81         文献标识码：A