在数学上定义和定理的区别是什么?