（1）S含有一个不等于0的数；

（2）∀a，b∈S，a+b，a﹣b，ab∈S；

（3）∀a，b∈S，且b≠0，∈S，那么就称S是一个数域．

现有如下命题：

①如果S是一个数域，则0，1∈S；

②如果S是一个数域，那么S含有无限多个数；

③复数集是数域；

④S={a+b|a，b∈Q，}是数域；

⑤S={a+bi|a，b∈Z}是数域．

其中是真命题的有{#blank#}1{#/blank#} （写出所有真命题的序号）．

①函数f（x）=（ ）^x的递减区间是（﹣∞，+∞）

②已知函数f（x）的定义域为（0，1），则函数f（x+1）的定义域为（1，2）；

③已知（x，y）映射f下的象是（x+y，x﹣y），那么（4，2）在f下的原象是（3，1）．

其中正确命题的序号为{#blank#}1{#/blank#}．

①若点（2，1）在圆x²+y²+kx+2y+k²﹣15=0外，则k＞2或k＜﹣4

②已知圆M：（x+cosθ）²+（y﹣sinθ）²=1，直线y=kx，则直线与圆恒相切

③已知点P是直线2x+y+4=0上一动点，PA、PB是圆C：x²+y²﹣2y=0的两条切线，A、B是切点，则四边形PACB的最小面积是为2

④设直线系M：xcosθ+ysinθ=2+2cosθ，M中的直线所能围成的正三角形面积都等于12 ．

①M={（x，y）|y= }；

②M={（x，y）|y=log₂x}；

③M={（x，y）|y=2^x﹣2}；

④M={（x，y）|y=sinx+1}．

其中是“垂直对点集”的序号是（    ）