题目内容
（请给出正确答案）
[单选题]
下列说法正确的是（）
A.存在一个计算机程序，能够自动判定任何一个数学命题是否成立
B.存在一个形式推理系统，能够得到所有成立的数学命题
C.存在数学定理，可以应用自动定理证明器进行自动证明
D.（无）
提问人：网友jsf11801
发布时间：2022-01-07
如搜索结果不匹配，请 
B、烟叶质量是烟草行业的生命线
C、烟叶质量是烟草行业永恒的主题
D、烟叶质量是烟草行业提升核心竞争力的基础
题目内容
（请给出正确答案）
您可能会需要：
安装简答题APP，拍照搜题省时又省心！
更多“下列说法正确的是（）”相关的问题
第9题
X={a, b, c}。如果希望集合∆={X， ∅，{a}， {a, b}}是一个拓扑，需要至少增加什么
A、{b}
B、{b}, {c}, {a. c}, {b, c}
C、∆已经是一个拓扑
D、（无）
