首页 › 答案 › 题库 › 超星尔雅学习通未分类

对于包含自然数系的任何相容的形式体系S,“S的相容性”是不可判定的。这是哥德尔的第一定理,灵感来源于说谎者悖论。（）

对于包含自然数系的任何相容的形式体系S,“S的相容性”是不可判定的。这是哥德尔的第一定理,灵感来源于说谎者悖论。（）
A.正确
B.错误
正确答案：B

标签：数学文化说谎者自然数

上一条：数学证明是依靠逻辑推理导出结论,定理已经证明就永远是对的,除非发现定理本身有误。（）

下一条：下列国家中,古代没有形式系统的是（）。