已知数列具有性质：对任意，与两数中至少有一个是该数列中的一项. 现给出以下四个命题：
①数列0,1,3,5,7具有性质；              
②数列0,2,4,6,8具有性质；
③若数列具有性质，则；
④若数列具有性质，则。
其中真命题有       。