 An axiom scheme is an infinite set of axioms obtained by substituting all formulas of some form into a specific pattern.The set of logical axioms includes not only those axioms generated from this pattern, but also any generalization of one of those axioms.A generalization of a formula is obtained by prefixing zero or more universal quantifiers on the formula; for example formula_9 is a generalization of formula_10.