Word.ws English Dictionary

axiom schemas

axiom schemas is the plural of axiom schema.

Meaning of axiom schema

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

Questions about axiom schemas

What is axiom schemas the plural of?
Axiom schemas is the plural of axiom schema.

Words near axiom schemas in the dictionary

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

Source and license

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