“至少有一个实数X,使X+1=0."的否定怎么写