principle of abstraction

…x (and possibly others), Cantor’s principle of abstraction asserts the existence of a set A such that, for each object x, x ∊ A if and only if S(x) holds. (Mathematicians later formulated a restricted principle of abstraction, also known as the principle of comprehension, in which self-referencing predicates, or…