问答题

下列国家中,古代没有形式系统的是()。

答案： C===

你可能感兴趣的试题

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

答案： ×===

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

答案： √===