给出如下命题：
①直线是函数的一条对称轴；
②函数关于点（3,0）对称，满足，且当时,函数为增函数，则在上为减函数；
③命题“对任意,方程有实数解”的否定形式为“存在,方程无实数解”；
④
以上命题中正确的是              .