数学科的命题