在哥德尔对他自己的形式推理的解释中，
Two presumptions in Goedel's interpretation of his own, formal, reasoning that are classically objectionable
摘要：
哥德尔1931年关于不可判定算术命题的论文的标准论述是基于哥德尔1931年对他自己的形式推理的解释中的两个假设--定理VI和定理XI中的一个--这不符合哥德尔明确规定的经典构造性和直觉上无可争议的推理要求。我们看到这些反对意见如何得到解决，并注意到一些后果。
英文摘要：
Standard expositions of Goedel's 1931 paper on undecidable arithmetical propositions are based on two presumptions in Goedel's 1931 interpretation of his own, formal, reasoning - one each in Theorem VI and in Theorem XI - which do not meet Goedel's, explicitly stated, requirement of classically constructive, and intuitionistically unobjectionable, reasoning. We see how these objections can be addressed, and note some consequences.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
