Mathematical logic and foundations

A formula describes all objects with a certain property. In ZF, what must be established before treating those objects as a set?