已知数列具有性质：
对任意，与两数中至少有一个是该数列中的一项. 现给出以下四个命题：①数列具有性质； ②数列具有性质；
③若数列具有性质，则；
④若数列具有性质，则.
其中真命题有                     ．