Let's say we want to come up with a foundational theory for all of mathematics and let's say that it is embedded in first-order logic. Note that the machinery of first-order logic is described with set-theoretical notions, in a meta-theoretical sense.
Why doesn't meta-theoretical use of sets while laying down a foundational theory (intended to avoid sets in an object-theoretical sense) undermine the whole enterprise?