（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）的定义域是R，则“∀x∈R，f（x+1）＞f（x）”是“函数f（x）为增函数”的充要条件

②命题“∀x∈R，（ ）^x＞0”的否定是“∀x∈R，（ ）^x≤0”

③命题“若x=2，则x²﹣3x+2=0”的逆否命题是“若x²﹣3x+2≠0，则x≠2”

④p：在△ABC中，若cos2A=cos2B，则A=B；q：y=sinx在第一象限是增函数．则p∧q为真命题．

 ①若a=1，b=﹣ ，要得到函数y=f（x）的图象，只需将函数y=2sin2x的图象向右平移 个单位；

②若a=1，b=﹣1，则函数y=f（x）的一个对称中心为（ ，0）；

③若y=f（x）的一条对称轴方程为x= ，则a=b；

④若方程asin2x+bcos2x=m的正实数根从小到大依次构成一个等差数列，则这个等差数列的公差为π．

那么下列命题中真命题的个数为（   ）

① 中的元素都不是 中的元素   ② 中有不属于 的元素

③ 中有属于 的元素           ④ 中的元素不都是 中的元素