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)