However, the change of mathematical thought cannot, above all, substitute for the change from mathematical proving to nonmathematical proving.

• 但是，改变数学思维终归替代不了从数学求证转换到非数学求证。