Word.ws English Dictionary

axiom scheme

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.

Noun

axiom scheme (plural axiom schemes)

  1. 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.
    Synonyms:
    axiom schema

Synonyms of axiom scheme

Forms of axiom scheme

pluralaxiom schemes

Questions about axiom scheme

What does axiom scheme mean?
Axiom scheme means 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.
What part of speech is axiom scheme?
Axiom scheme is a noun.
What is the plural of axiom scheme?
The plural of axiom scheme is axiom schemes.

Words near axiom scheme in the dictionary

  1. axiom schema
  2. axiom schema of abstraction
  3. axiom schema of separation
  4. axiom schemas
  5. axiom schemata
  6. axiom scheme
  7. axiom schemes
  8. axiom system
  9. axiom systems
  10. axioma
  11. axiomata

Source and license

Adapted from Wiktionary: axiom scheme (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “axiom scheme.” Word.ws, https://word.ws/axiom_scheme. Based on Wiktionary, CC BY-SA 4.0.