单项选择题

吴文俊几何定理的机械化证明的创新在于它没有走国际通用的()方法的老路子。

A.几何
B.推理
C.逻辑
D.归纳