关于希尔伯特相容性纲领的目标与第二不完全性定理之间的鸿沟
About the Chasm Separating the Goals of Hilbert's Consistency Program from the Second Incompletess Theorem
摘要：
在过去的25年里，我们已经发表了几篇关于第二不完全性定理的推广和边界情况例外的文章。目前的文件将审查我们以前的一些结果，并介绍了一个“丰富”的语义tableaux演绎的改进。虽然第二不完全定理是一个强有力的结果，我们将强调其边界情况的例外是密切相关的全球变暖的威胁，因为我们的系统可以拥有一个同时的知识，他们自己的一致性，连同理解的$Π_1$皮亚诺算术的影响。
英文摘要：
We have published several articles about generalizations and boundary-case exceptions to the Second Incompleteness Theorem during the last 25 years. The current paper will review some of our prior results and also introduce an `enriched' refinement of semantic tableaux deduction. While the Second Incompleteness Theorem is a strong result, we will emphasize its boundary-case exceptions are germane to Global Warming's threat because our systems can own a simultaneous knowledge about their own consistency, together with an understanding of the $Π_1$ implications of Peano Arithmetic.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
