Word.ws English Dictionary

axiom schema of abstraction

axiom schema of abstraction noun: the axiom schema stating that for any clearly stated condition Sx, there exists a set B whose elements are exactly those objects which satisfy Sx.

Noun

axiom schema of abstraction (plural axiom schema of abstractions)

  1. The axiom schema stating that for any clearly stated condition Sx, there exists a set B whose elements are exactly those objects which satisfy Sx.
    • Whenever a propositional function Sx is definite for all elements of a set M, M possesses a subset whose elements are exactly those x in M for which Sx holds.1908, Ernst Zermelo, Investigations in the Foundations of Set Theory I

Forms of axiom schema of abstraction

pluralaxiom schema of abstractions

Questions about axiom schema of abstraction

What does axiom schema of abstraction mean?
Axiom schema of abstraction means the axiom schema stating that for any clearly stated condition Sx, there exists a set B whose elements are exactly those objects which satisfy Sx.
What part of speech is axiom schema of abstraction?
Axiom schema of abstraction is a noun.
What is the plural of axiom schema of abstraction?
The plural of axiom schema of abstraction is axiom schema of abstractions.

Words near axiom schema of abstraction in the dictionary

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

Source and license

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