ZFC set theory,first order theory 
Possible Duplicate:
What is the difference between Gödel's Completeness and Incompleteness Theorems?
what is the relationship between ZFC and first-order logic? 

I am a bit confused by a few things that I have read recently. 
I have read that ZFC is a first order theory and that any part of mathematics can be expressed in ZFC. Now I know that first order logic is complete, however this would seem to contradict the incompleteness theorems (with I have a basic understanding of). I was wondering where I have gone wrong?
Thanks very much for any help (sorry for the silly question)

As in the comments is said, the word 'complete' has 2 different meanings.
That the first order logic is complete, is meant that it is complete w.r.t the corresponding first order models, that is: a formula is valid in all models iff it has a proof (a deduction consisting of finitely many formulas, using some specific deduction rules, like modus ponens..)
That ZFC is incomplete, is meant it is incomplete as an axiom system: there is a formula $\phi$ such that neither $\phi$ nor $\lnot\phi$ is not provable from ZFC. (And, in fact, it will be still incomplete if adding any more axioms).
