数学的定理和定义的区别和联系