Definitions from Wiktionary (axiom scheme)
▸ 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 scheme
▸ Usage examples for axiom scheme
▸ Idioms related to axiom scheme
▸ Wikipedia articles (New!)
▸ Words that often appear near axiom scheme
▸ Rhymes of axiom scheme
▸ Invented words related to axiom scheme
▸ 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 schema,
schema,
axiom system,
axiomatization,
axiomatic system,
axiom,
schematic variable,
axiomatist,
axiomatisation,
axioma,
more...
▸ Words similar to axiom scheme
▸ Usage examples for axiom scheme
▸ Idioms related to axiom scheme
▸ Wikipedia articles (New!)
▸ Words that often appear near axiom scheme
▸ Rhymes of axiom scheme
▸ Invented words related to axiom scheme