数学的命题与定义什么意思