From what I know, a model is a set of things that "give" an "interpretation" of the axioms such that the axioms are true of the "things" in the set. Is this right? I know there are many, many examples of such "sets of things," models, interpretations, structures, etc. of ZFC, but I don't have the higher math to help myself make these abstract statements more concrete.


So, what is an example of a model that satisfies (some axiomatization of) ZFC? Thanks.