axiom scheme

English - English

Definition of axiom scheme in English English dictionary

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

Related Terms

axiom schemes

plural form of axiom scheme

Hyphenation

ax·i·om scheme

Turkish pronunciation

äksiım skim

Synonyms

axiom schema

Pronunciation

/ˈaksēəm ˈskēm/ /ˈæksiːəm ˈskiːm/