摘要：高德尔的可证明性谓词的互补谓词被定义出来。从其递归性质出发，得出了关于不完整性论证的新结果，并扩展到关于Peano算术和一阶谓词演算的一致性、完备性和可判定性。
作者：Paola Cattabriga
论文ID：math/0606713
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中