Word.ws English Dictionary

axiom schemes

axiom schemes is the plural of axiom scheme.

Meaning of axiom scheme

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

Questions about axiom schemes

What is axiom schemes the plural of?
Axiom schemes is the plural of axiom scheme.

Words near axiom schemes in the dictionary

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

Source and license

Adapted from Wiktionary: axiom schemes (page history and authors); 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 schemes.” Word.ws, https://word.ws/axiom_schemes. Based on Wiktionary, CC BY-SA 4.0.