axiom schema of abstraction noun1 •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 formsaxiom schema of abstractions
