17 一致性命题