定义：为的真子集，，若，则称对加减法封闭。有以下四个命题，请判断真假：
①自然数集对加减法封闭；
②有理数集对加减法封闭；
③若有理数集对加减法封闭，则无理数集也对加减法封闭；
④若为的两个真子集，且对加减法封闭，则必存在，使得；
四个命题中为“真”的是                   ；（填写序号）