填空题 在公理系统中任何非公理命题都不能（）加以引用，没有经过（）的命题都不能作为演绎推导的前提。

填空题 公理系统中的基本命题有两类：一类是（），另一类是（）。所有的（）都必须直接或间接地从（）导出。

填空题 公理化方法是指人们在建立某一学科时，从少数不加定义的（）和不加证明的（）出发，运用（）规则推出并证明该学科的其他定理或定律的方法。