数学命题的思考