axiom scheme

English · Thesaurus

AI In plain words

Writing a short explanation…

Written by a house AI from the entry below, in your language. The entry itself is the source.

axiom scheme

noun axiom schemes

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

Talk about this word

Cite this

MLA

"axiom scheme." Wiktionary, via Micwyn, micwyn.com/word/axiom%20scheme. Accessed 6 Nov. 2026.

APA

axiom scheme. (n.d.). In Wiktionary, via Micwyn. Retrieved November 6, 2026, from https://micwyn.com/word/axiom%20scheme

Chicago

"axiom scheme." Wiktionary, via Micwyn. Accessed November 6, 2026. https://micwyn.com/word/axiom%20scheme.

BibTeX

@misc{axiom_scheme_2026,
  title = {axiom scheme},
  howpublished = {Wiktionary, via Micwyn},
  year = {2026},
  url = {https://micwyn.com/word/axiom%20scheme},
  urldate = {2026-11-06}
}