单项选择题 构建公理系统通常需要使用：（）

多项选择题 L的每个证明的第一步一定是：（）

单项选择题 （（（¬p1）→（¬p2））→（（p1→p3）→（（¬p1）→（¬p2））））是：（）