数学定义与命题