Definition:Axiom/Formal Systems/Axiom Schema
Jump to navigation Jump to search
Let $\LL$ be a formal language.
Part of defining a proof system $\mathscr P$ for $\LL$ is to specify its axiom schemata.
The plural of axiom schema is correctly axiom schemata, but it is commonplace to see the word schemas used for schemata.