Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

axiom schema of abstraction en · NOUN

Meanings

  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

SpellingFeaturesLabelsSource
axiom schema of abstractions Number=Plur lexicographic

Relateds

Russell's paradox · Zermelo-Fraenkel set theory