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