Source: wikibot/axiom-schema
= Axiom schema
{wiki=Axiom_schema}
An Axiom schema is a principle or framework in formal logic and mathematics that allows for the description of a set of axioms based on a specified pattern or template. It is typically used in systems of formal logic, such as propositional logic or predicate logic, to generate an infinite number of axioms from a finite number of axiom schemes.