Definitions from Wiktionary (axiom schema)
▸ noun: (logic) A formula in the language of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions.
▸ Words similar to axiom schema
▸ Usage examples for axiom schema
▸ Idioms related to axiom schema
▸ Wikipedia articles (New!)
▸ Words that often appear near axiom schema
▸ Rhymes of axiom schema
▸ Invented words related to axiom schema
▸ noun: (logic) A formula in the language of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions.
Similar:
axiom scheme,
schema,
axiom system,
axiom,
schematic variable,
axiomatic system,
axiomatization,
axiomatist,
axiomatisation,
axioma,
more...
Phrases:
▸ Words similar to axiom schema
▸ Usage examples for axiom schema
▸ Idioms related to axiom schema
▸ Wikipedia articles (New!)
▸ Words that often appear near axiom schema
▸ Rhymes of axiom schema
▸ Invented words related to axiom schema