题目几乎所有的数学家都是这样：他们能够识别正确的证明以及不正确证明的无效之处，尽管他们无法定义一个证明的准确意义。由此，可以推知以下哪项一定为真？（   ）
A:能识别正确证明和不正确证明的人可能无法定义证明的准确意义
B:有的数学家不能识别不正确证明的无效之处
C:数学家都不能定义一个证明的准确意义
D:有的数学家不识别正确的证明，但能识别不正确的证明