判断题
对于包含自然数系的任何相容的形式体系S，“S的相容性”是不可判定的。这是哥德尔的第一定理，灵感来源于说谎者悖论。
【参考答案】
错误
(↓↓↓ 点击‘点击查看答案’看答案解析 ↓↓↓)
点击查看答案&解析
