用适当的数学形式对事物的性质进行表达后为什么还要检验或修正?