axiom schema

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

Meanings

nounaxiom schema (plural axiom schemas or axiom schemata)

plural axiom schemas · plural axiom schemata

  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 scheme

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 scheme
Also see
axiom schemeschema

Translations

Finnish aksioomaskeema
  • aksioomaskeemaTranslations
Polish schemat aksjomatów
  • schemat aksjomatówTranslations
Cite this entry
APA

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

MLA

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

Chicago

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

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