摘要：果戴尔1931年的不可判定算术命题的标准表述基于果戴尔自己关于他的形式推理的两个假定 - 分别位于定理VI和定理XI中 - 这两个假定不符合果戴尔明确规定的经典建设性和直观上无可反驳的推理要求。我们将看到如何解决这些异议，并注意一些结论。
作者：Bhupinder Singh Anand
论文ID：math/0703723
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中