给出以下四个命题,所有真命题的序号为________.