写出命题：“对任意实数m，关于x的方程x²+x+m=0有实根”的否定为（    ）。

给出如下命题：①直线x=是函数y=sin（x+）的一条对称轴；
②函数f(x)关于点（3，0）对称，满足f(6+x)=f(6-x)，且当x∈[0，3]时，函数为增函数，则f(x)在[6，9]上为减函数；
③命题“对任意a∈R，方程x²+ax-1=0有实数解”的否定形式为“存在a∈R，方程x²+ax-1=0无实数解”；
④lg²5+lg2·lg50=1；
以上命题中正确的是（    ）。