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

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

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

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

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

真理都是（）而存在，（）而发展的。

填空题真理都是（）而存在，（）而发展的。