下列说法正确的是( )选项: A:存在一个计算机程序,能够自动判定任何一个数学命题是否成立; B:存在一个形式推理系统,能够得到所有成立的数学命题; C:存在数学定理,可以应用自动定理证明器进行自动证明; D:无 计算机 定理 理系统 发布时间:2024-03-28 11:20:49