axiom scheme

English

axiom scheme (plural axiom schemes)

(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.

单词	axiom scheme
释义	axiom scheme English Noun axiom scheme (plural axiom schemes) (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. Synonyms axiom schema
随便看	tow trucks towtrucks towu towuk Towy towy to wyles towyles towylle Towyn towyr towze towzed Towzer towzery gang towzery gangs towzes towzier towziest towzing towzy towûta towşan towȝ towȝe