[kazagistar]

If you can describe a set of objects thats fine. But by itself that would be nearly useless. The problem is that ZFC and the like add an axiom that you can identify an element of any described set, and use that to prove further theorems. That makes no sense; its an elimination rule with no corresponding introduction, materializing members of a set from nothing.