Axiomatic set theory is basically a first order logic theory, so I believe we must certainly begin with a treatment of first order logic. However, to define a first order logic vocabulary we need to define a set of constants, a set of variables, a set of relation symbols, etc, whereby we are already using set theory.
Is this avoidable? What would be the cleanest way to define these two subjects?