第一节 示证系统的语义参项