mathematica中怎么定义一个变量为正整数?