数学"1是质数 定义还是命题