This question already has an answer here:
I was studying first order logic by a book and the author uses set theory to define some concepts like models, structures, etc. Everything fine here, but then i started to read about ZFC set theory and the author uses first order logic to prove some theorems. My question is if this is valid. Seems a little circular, we use set theory to study logic and logic to study set theory.