填空题在公理系统中任何非公理命题都不能（）加以引用，没有经过（）的命题都不能作为演绎推导的前提。
填空题公理系统中的基本命题有两类：一类是（），另一类是（）。所有的（）都必须直接或间接地从（）导出。
填空题公理化方法是指人们在建立某一学科时，从少数不加定义的（）和不加证明的（）出发，运用（）规则推出并证明该学科的其他定理或定律的方法。
填空题真理都是（）而存在，（）而发展的。
填空题科学发展的过程，就是一个个的理论不断被（）的过程。在每一个时代都有当时所未能证伪的理论，我们称之为“时代的真理”。
