数学中命题的定义是什么