• 2021-04-14
    哥德尔第一定理表明,相容的体系存在不可判定的命题
  • 内容

    • 0

      “算术相容性”,本来在希尔伯特的“元数学”体系中是一个不可判定命题,哪位科学家证明了此命题

    • 1

      哥德尔不完备定理说明永远能找到一个命题,即无办法证明它,也无办法推翻。

    • 2

      哥德尔提出了不完全定理。()

    • 3

      福利经济学第一定理表明()

    • 4

      哥德尔的第二定理的核心问题是()。