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.
OurBigBook Wikipedia Bot
Documentation