重要提示：
请勿将账号共享给其他人使用，违者账号将被封禁！
题目
A.哥德尔定理表明：相容的体系一定是不完全的
B.哥德尔定理表明：相容的体系一定含有“不可判定命题”
C.哥德尔是奥地利数学家
D.哥德尔定理表明：相容的体系一定是不独立的
E.公理化体系的相容性、独立性、完全性，有时是可以同时满足的
F.哥德尔不完全性定理并未得到严格的证明
更多“6、下列说法中，正确的有：”相关的问题
第3题
A.奥地利学者哥德尔认为数学不可能既是完备的，又是相容的
B.现代电子计算机的工程路线可以追溯到冯·诺依曼，理论起源是图灵，两者相互独立
C.冯·诺伊曼提出的存储程序计算体系架构是现代电子计算机的工程基础
D.1936年图灵发表的论文《论可计算数及其在判定问题中的应用》是现代电子计算机的理论基础
第7题
A.如果A、B是互不相容事件，则A、B一定是对立事件
B.如果A、B是互不相容事件，则A、B的差事件A-B是不可能事件
C.如果A、B是对立事件，则A、B一定是互不相容事件
D.B是对立事件，则A、B的差事件A-B是不可能事件
相关内容
警告：系统检测到您的账号存在安全风险
为了保护您的账号安全，请在“赏学吧”公众号进行验证，点击“官网服务”-“账号验证”后输入验证码“”完成验证，验证成功后方可继续查看答案！
