Axiom schema

Axiom schema of replacement: the image of the domain set under the definable class function is itself a set, .

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 page 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.