证明的严谨性将数学与所有其他科学区分开来。
To be at home everywhere is to be at home nowhere.