axiom schema

(from the article `formal logic`) ...of uniform substitution for predicate calculi, though formulable, are mostly very complicated, and, to avoid the necessity for these rules, axioms ... In some standard expositions of formal logic, the place of axioms is taken by axiom schemata, which, instead of presenting some particular wff as an ....
Found on

Axiom schema

In mathematical logic, an axiom schema (plural: axiom schemata) generalizes the notion of axiom. An axiom schema is a formula in the language 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...
Found on
No exact match found