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