哥德尔的不完全性定理的真空成立
摘要：哥德尔的公式系统中的Ω不一致性：在之前的一篇论文中，我提出了哥德尔的推理的一种建设性解释，它将算术的任何形式系统都建立为Ω不一致。由此可见，哥德尔的第六定理是空洞的。在本文中，我将证明哥德尔的第十一定理实质上是断言如果我们假设存在一个P公式[Con(P)]，其标准解释等价于" P是一致的"，那么[Con(P)]是不可证明的。我认为没有这样的公式存在。
作者：Bhupinder Singh Anand
论文ID：math/0207080
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23