In mathematical logic, an axiom schema is a rule or template that specifies a family of axioms. A schema contains placeholders together with side conditions saying how those placeholders may be replaced; each permitted replacement is an instance of the schema. Axiom schemata are commonly used to give finite descriptions of theories whose axioms include infinitely many formulas.