axiom schemas

A form of axiom schema — 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.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

noun
  1. pluralplural of axiom schema
Cite this entry
APA

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

MLA

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

Chicago

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

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