证明的严谨性将数学与所有其他科学区分开来。