axiom schema (Q792536)
a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear
Language:
Current Data About axiom schema
other details
aliases axiom schemas
axiom schemata
description a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear

External Links