axiom schema
Sign in to saveAlso known as axiom schemas, axiom schemata
a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear
Also known as axiom schemas, axiom schemata
a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear