I am quite confused about models of ZF(C) set theory; in particular the wording that is used frequently. I have seen many cases of statements such as "assume $V$ satisfies ZFC" where $V$ is the class $\{ x | x = x \}$, i.e. the class of all sets. But, of course, $V$ is an inner model of ZF(C), as ZF(C) $\vdash \phi^V$ vacuously holds for all $\phi \in$ ZF(C). Thus, I thought, there cannot be $V$ which is not an inner model of ZF(C). (Indeed, ZF(C) proves the existence of $V_{\alpha}$ for all $\alpha \in$ ON.)
My question: if "assume $V$ satisfies ZF(C)" is stated, does that mean we are assuming Con(ZF(C)) and are alluding to the Completeness Theorem (i.e. are we working externally with a model, $(V,\in)$, say)? If so, why the clashing nomenclature?
PS: If possible, please edit the title so that it is more appropriate -- I am not quite sure what a specific title for this question would look like.
Yes, when we say that $V$ is assumed to satisfy $\sf ZF(C)$, we mean that externally, we assume that $\sf ZFC$ is consistent, and that $V$ is a model of $\sf ZFC$.
An inner model is a technical term in the set theoretic jargon. It means that we work internally to $V$, and we have a proper class $M$, which contains all the ordinals, and $(M,\in)$ satisfies each of the axioms of $\sf ZF$ or $\sf ZFC$ (depending on the context).
So yes, every model of $\sf ZF(C)$ is an inner model of itself. And indeed, every inner model is a model in the meta-theory. But there is a key difference. Inner models are used to calibrate consistency strength.
If we start with a model of $\sf ZF+DC+LM$ (all sets of reals are Lebesgue measurable), then we can find an inner model of that model where there is an inaccessible cardinal (specifically $L$ in this case). We didn't need to create a whole "new universe" or change the ordinals, we only needed to remove a few of the sets.
In that sense, inner models are generally "close enough" to the universe. They cannot be used to prove consistency statement in the theory, but rather in the meta-theory.
To some extent, the opposite of inner models are generic extensions, where we use forcing to carefully add sets into our model so that we do not add ordinals, or "change the model too much" in a technical sense. And indeed, if $V[G]$ is a generic extension of $V$, then $V$ is an inner model of $V[G]$.