 This schema is known nowadays as ‘Naïve Comprehension’. (Comprehension is the abstraction of sets or classes.) Basic Law V committed Frege to claiming that, corresponding to any defining predicate Φ, there exists the class of all and only those things that satisfy Φ. 