English Explanatory Dictionary

axiom schema

English dictionary entry

Meanings

noun
  1. 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.

Word forms

axiom schema axiom schemas axiom schemata

Synonyms

axiom scheme
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.
Back to search All on A Russian dictionary Dahl dictionary