This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (May 2016) (Learn how and when to remove this message)

In mathematical logic, an axiom schema (plural: axiom schemata or axiom schemas) generalizes the notion of axiom.

Formal definition

An axiom schema is a formula in the metalanguage of an axiomatic system, in which one or more schematic variables appear. These variables, which are metalinguistic constructs, stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions. Often, such conditions require that certain variables be free, or that certain variables not appear in the subformula or termCategory:All articles with unsourced statementsCategory:Articles with unsourced statements from August 2018^{[citation needed]}.

Examples

Two well known instances of axiom schemata are the:

• induction schema that is part of Peano's axioms for the arithmetic of the natural numbers;
• axiom schema of replacement that is part of the standard ZFC axiomatization of set theory.

Czesław Ryll-Nardzewski proved that Peano arithmetic cannot be finitely axiomatized, and Richard Montague proved that ZFC cannot be finitely axiomatized.^[1][2] Hence, the axiom schemata cannot be eliminated from these theories. This is also the case for quite a few other axiomatic theories in mathematics, philosophy, linguistics, etc.

Finite axiomatization

Given that the number of possible subformulas or terms that can be inserted in place of a schematic variable is infinite, an axiom schema stands for an infinite class or set of axioms. This set can often be defined recursively. A theory that can be axiomatized without schemata is said to be finitely axiomatizable.

In higher-order logic

Schematic variables in first-order logic are usually trivially eliminable in second-order logic, because a schematic variable is often a placeholder for any property or relation over the individuals of the theory. This is the case with the schemata of Induction and Replacement mentioned above. Higher-order logic allows quantified variables to range over all possible properties or relations.

See also

• Axiom schema of predicative separation
• Axiom schema of replacement
• Axiom schema of specification

Notes

References

• Corcoran, John (2006), "Schemata: the Concept of Schema in the History of Logic" (PDF), Bulletin of Symbolic Logic, 12 (2): 219–240, doi:10.2178/bsl/1146620060, S2CID 6909703.
• Corcoran, John (2016). "Schema". In Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy. ISSN 1095-5054. OCLC 429049174.
• Mendelson, Elliott (1997), An Introduction to Mathematical Logic (4th ed.), Chapman & Hall, ISBN 0-412-80830-7.
• Montague, Richard (1961), "Semantic Closure and Non-Finite Axiomatizability I", in Samuel R. Buss (ed.), Infinitistic Methods: Proceedings of the Symposium on Foundations of Mathematics, Pergamon Press, pp. 45–69.
• Potter, Michael (2004), Set Theory and Its Philosophy, Oxford University Press, ISBN 9780199269730.
• Ryll-Nardzewski, Czesław (1952), "The role of the axiom of induction in elementary arithmetic" (PDF), Fundamenta Mathematicae, 39: 239–263, doi:10.4064/fm-39-1-239-263.