具有性质P:对任意i,j(1≤i≤j≤n),aj+ai与aj-ai两数中至少有一个是该数列中的一项
已知数列A：a1,a2,…,an（0≤a1＜a2＜…＜an,n≥3）具有性质P：对任意i,j（1≤i≤j≤n）,aj+ai与aj-ai两数中至少有一个是该数列中的一项．现给出以下四个命题：
①数列0,1,3具有性质P；
②数列0,2,4,6具有性质P；
③若数列A具有性质P,则a1=0；
④若数列a1,a2,a3（0≤a1＜a2＜a3）具有性质P,则a1+a3=2a2．
其中真命题有②③④．
应该怎样写?