Axiom schema

In mathematical logic, an axiom schema (plural: axiom schemata or axiom schemas) 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.

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.