证明的严谨性将数学与所有其他科学区分开来。
数学不是关于数字、方程、计算或算法的:它是关于理解的。