哥德尔证明,对非常广泛的一些系统()。 A.若它们是不相容的，则它们必是不完备的B.若它们是不相容的，则它们是完备的C.若它们是相容的，则它们必是不完备的D.若它们是相容的，则它们必是完备的
哥德尔证明,对非常广泛的一些系统()。
A.若它们是不相容的，则它们必是不完备的
B.若它们是不相容的，则它们是完备的
C.若它们是相容的，则它们必是不完备的
D.若它们是相容的，则它们必是完备的
相关考题：
25、下列说法中，正确的有：A．哥德尔不完全性定理揭示了形式化方法的局限性B．哥德尔不完全性定理的核心是认为：形式化系统中矛盾的症结在于“自我指谓”C．数学这棵大树是向两个方向生长的。它既向上生长，去研究宇宙的深度；也向下生长，去研究人类自身理性思维的深度D．形式的公理系统所要求的完全性是指该形式系统中所有命题都能判定“真伪”E．数学的唯一任务是逻辑推理F．公元前300年，欧几里得的《几何基础》开创了公理化方法G．任何形式系统中的命题，要么可被证明为对，要么可被证明为错H．公理化集合论中有不可判定命题
9、下列关于哥德尔不完全定理的描述中不正确的一项是？A．哥德尔不完全定理说存在着命题在描述它的系统里就是不能证明其为真；B．哥德尔不完全定理说存在着既不能证明其为真，也不能证明其为假的命题；C．借助哥德尔的编码程序，关于自然数每个可能的命题本身又可表达为一个数；D．哥德尔不完全定理说在一个一致的形式系统中一定存在着一个系统不能证明的命题。
6、下列说法中，正确的有：A．哥德尔定理表明：相容的体系一定是不完全的B．哥德尔定理表明：相容的体系一定含有“不可判定命题”C．哥德尔是奥地利数学家D．哥德尔定理表明：相容的体系一定是不独立的E．公理化体系的相容性、独立性、完全性，有时是可以同时满足的F．哥德尔不完全性定理并未得到严格的证明
1、下列说法中，正确的是A．哥德尔不完全性定理是最具重要意义的数学定理之一B．哥德尔不完全性定理是属于某种否定性的结果C．数学是绝对真理的化身D．哥德尔不完全性定理是在哥德尔35岁时发表的E．哥德尔不完全性定理发表的当年就受到数学家的广泛重视F．哥德尔不完全性定理是哥德尔与另一位数学家联名发表的