152第一个命题