  To avoid the Quinean regress, one might propose that we conventionally stipulate a finite number of axioms and a finite number of inferences rules, thereby fixing an infinite number of logical truths. The question here is what it means to “stipulate” an inference rule. We can conventionally stipulate that we will henceforth obey a certain inference rule. But that stipulation does not entail that we are entitled to reason in accord with the inference rule. Mere conventional stipulation that we will henceforth obey a inference rule does not ensure that the rule carries truths into truths. What if we stipulate that the inference rule carries truths into truths? Then our stipulation is merely another axiom. So we require a new inference rule to draw any consequences from it, and the regress continues.