命题格式说明正式命题时请删除