Category:Definitions/Axiom Schemata
Jump to navigation
Jump to search
This category contains definitions related to Axiom Schemata.
Related results can be found in Category:Axiom Schemata.
An axiom schema is a well-formed formula $\phi$ of $\LL$, except for it containing one or more variables which are outside $\LL$ itself.
This formula can then be used to represent an infinite number of individual axioms in one statement.
Namely, each of these variables is allowed to take a specified range of values, most commonly WFFs.
Each WFF $\psi$ that results from $\phi$ by a valid choice of values for all the variables is then an axiom of $\mathscr P$.
Pages in category "Definitions/Axiom Schemata"
The following 3 pages are in this category, out of 3 total.