判断推理
2017 北京市考 · 行测真题 · 第99题
几乎所有的数学家都是这样：他们能够识别正确的证明以及不正确证明的无效之处，尽管他们无法定义一个证明的准确意义。
由此，可以推知以下哪项一定为真？
A.能识别正确证明和不正确证明的人可能无法定义证明的准确意义
B.有的数学家不能识别不正确证明的无效之处
C.数学家都不能定义一个证明的准确意义
D.有的数学家不识别正确的证明，但能识别不正确的证明
几乎所有的数学家都是这样：他们能够识别正确的证明以及不正确证明的无效之处，尽管他们无法定义一个证明的准确意义。
由此，可以推知以下哪项一定为真？