判断题
对于包含自然数系的任何相容的形式体系S，“S的相容性”是不可判定的。这是哥德尔的第一定理，灵感来源于说谎者悖论。
【参考答案】
错误
(↓↓↓ 点击‘点击查看答案’看答案解析 ↓↓↓)
点击查看答案&解析
相关考题
-
判断题
数学证明是依靠逻辑推理导出结论，定理已经证明就永远是对的，除非发现定理本身有误。 -
多项选择题
科学证明的过程包括（），它的结果可能被推翻。
A.假说
B.公理
C.观察
D.实验 -
单项选择题
对哥德尔第一定理提出的问题，数学家也想到了补救方法，灵感主要来源于1936年（）证明了算数相容性。
A.希尔伯特
B.罗素
C.庞加莱
D.根岑
