数学中“命题”的定义是什么