寫出命題：“對任意實數(shù)m，關(guān)于x的方程x²+x+m=0有實根”的否定為（    ）。

給出如下命題：①直線x=是函數(shù)y=sin（x+）的一條對稱軸；
②函數(shù)f(x)關(guān)于點（3，0）對稱，滿足f(6+x)=f(6-x)，且當(dāng)x∈[0，3]時，函數(shù)為增函數(shù)，則f(x)在[6，9]上為減函數(shù)；
③命題“對任意a∈R，方程x²+ax-1=0有實數(shù)解”的否定形式為“存在a∈R，方程x²+ax-1=0無實數(shù)解”；
④lg²5+lg2·lg50=1；
以上命題中正確的是（    ）。