哥德尔等人关于问题演变的一些例子.pdfVIP

哥 德 尔 等 人 关 于 问 题 演 变 的 一 些 例 子 美〔 〕 王 浩 , . 的 相 相 。 E 在试 图证 明分析 学 ( 对) 容性 中 哥德尔 演 希尔伯特借用 胡塞尔 的 阐述方 式 (算 术 哲 , G 6 d 目 可 , 《 》 1 0 , 4 4 5 : “ ( ) 被 引到集合论部分 的某些不 判 定命题 学 胡塞尔全集 79 页) 问 我有权利说 这 一历史 事实给我 留下深刻 印象。 当时, 他把这 些 每一个 只 涉及 正整数 的命 题, 依据正整数 的公理, , ” “ 命题 变成 一种优美 的算术形式 而且 认识到 (与这 必定是真 或者假 吗 ? 当我们 断言一个命题 是根据 种改进无关) , 他 的结果还蕴涵着对证 明相 容性 ( 不 某一领域 的公理 而 判定 的时候,