axiom scheme

noun

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
Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounaxiom scheme (plural axiom schemes)

plural axiom schemes

  1. human sciencesA 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

Synonyms & antonyms

nounA 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
Also see
axiom schema
Cite this entry
APA

axiom scheme. (n.d.). In WatkinsX Dictionary. Retrieved November 4, 2026, from https://dictionary.watkinsx.com/word/axiom%20scheme

MLA

“axiom scheme.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/axiom%20scheme. Accessed November 4, 2026.

Chicago

WatkinsX Dictionary, s.v. “axiom scheme,” accessed November 4, 2026, https://dictionary.watkinsx.com/word/axiom%20scheme.

Source: axiom scheme on Wiktionary, CC BY-SA 4.0.