axiom schemes

A form of axiom scheme — 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 scheme
Cite this entry
APA

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

MLA

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

Chicago

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

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