关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 关注微信公众号《课帮忙》查题 公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！公告：维护QQ群：833371870，欢迎加入！ 2021-04-14 对哥德尔第一定理提出的问题,数学家也想到了补救方法,灵感主要来源于1936年()证明了算数相容性。 对哥德尔第一定理提出的问题,数学家也想到了补救方法,灵感主要来源于1936年()证明了算数相容性。 答案： 查看 举一反三 对于包含自然数系的任何相容的形式体系S,“S的相容性”是不可判定的。这是哥德尔的第一定理,灵感来源于说谎者悖论 哥德尔第一定理说明公理体系的相容性不能在体系中被证明。 “算术相容性”在希尔伯特的“元数学”体系中，是一个不可判定命题，但是1936年数学家（）证明了它 在希尔伯特的“元数学”体系中，“算术相容性”是一个不可判定命题，但是1936年数学家（）证明了它。 1931年，美籍奥地利数学家哥德尔给出的不完全性定理，将希尔伯特提出的解决数学基础的方案彻底否定，哥德尔永远地改变了我们对数学的看法。
