Word.ws English Dictionary

axiom schema

axiom schema 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 schema (plural axiom schemas or axiom schemata)

  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 scheme

Synonyms of axiom schema

Forms of axiom schema

pluralaxiom schemas
pluralaxiom schemata

Questions about axiom schema

What does axiom schema mean?
Axiom schema 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 schema?
Axiom schema is a noun.
What is the plural of axiom schema?
The plural of axiom schema is axiom schemas.

Words near axiom schema in the dictionary

  1. axiom of infinity
  2. axiom of pairing
  3. axiom of power set
  4. axiom of regularity
  5. axiom of union
  6. axiom schema
  7. axiom schema of abstraction
  8. axiom schema of separation
  9. axiom schemas
  10. axiom schemata
  11. axiom scheme

Source and license

Adapted from Wiktionary: axiom schema (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 schema.” Word.ws, https://word.ws/axiom_schema. Based on Wiktionary, CC BY-SA 4.0.