所有自然数的平方都是正数的否定是( )为( )命题