# Category:Axiom Schemata

Jump to navigation
Jump to search

This category contains results about **Axiom Schemata**.

Definitions specific to this category can be found in **Definitions/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 "Axiom Schemata"

The following 2 pages are in this category, out of 2 total.