数学定义是命题吗?