axiom schema

C14949 concept

An axiom schema is a rule or template that generates an infinite set of axioms by uniformly substituting formulas for its schematic variables.