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.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounaxiom schema of abstraction (plural axiom schema of abstractions)

plural axiom schema of abstractions

  1. mathematicsThe 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
Cite this entry
APA

axiom schema of abstraction. (n.d.). In WatkinsX Dictionary. Retrieved November 5, 2026, from https://dictionary.watkinsx.com/word/axiom%20schema%20of%20abstraction

MLA

“axiom schema of abstraction.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/axiom%20schema%20of%20abstraction. Accessed November 5, 2026.

Chicago

WatkinsX Dictionary, s.v. “axiom schema of abstraction,” accessed November 5, 2026, https://dictionary.watkinsx.com/word/axiom%20schema%20of%20abstraction.

Source: axiom schema of abstraction on Wiktionary, CC BY-SA 4.0.