axiom of separation

(from the article `Russell`s paradox`) Frege had constructed a logical system employing an unrestricted comprehension principle. The comprehension principle is the statement that, given ... ...that, for each object , if and only if () holds. (Mathematicians later formulated a restricted principle of abstraction, also known ...
Found on http://www.britannica.com/eb/a-z/a/132
No exact match found