Many set theorists define that a model $\langle M,E\rangle$ of set theory is standard to mean that the set membership relation $E$ of the model is the actual set membership relation $\in$, restricted to objects in $M$.
The existence of such a standard model of ZFC is equivalent to the existence of a well-founded model of ZFC, since every well-founded model is isomorphic to its transitive collapse, via the Mostowski collapse. The hypothesis that there is such a transitive model of ZFC should be considered a very weak large cardinal axiom. For example, the transitive model of ZFC hypothesis appears near the bottom of the large cardinal hierarchy in Cantor's Attic.
In particular, nearly all the usual large cardinal axioms imply the existence of a standard model of ZFC, and so very few set theorists want or expect ZFC to rule them out. Since we think that large cardinals are consistent with ZFC, we also expect that it is consistent with ZFC that there are standard models of ZFC.
For example, if $\kappa$ is an inaccessible cardinal, then the set $H_\kappa$ of all sets having hereditary size less than $\kappa$ forms a transitive model of ZFC. Under the Grothendieck Universe Axiom, there will be a proper class of such inaccessible cardinals, and so the entire set-theoretic universe will be the union of such standard set models of ZFC.
Indeed, I would say much more: it is a fundamental part of the reflection paradigm, the view that truths in the whole set-theoretic universe are increasingly found in proper initial segments of it, that we should expect many initial segments of the universe to be ZFC models, and these will be standard models. This is the kind of philosophical justification that one often hears for various large cardinal hypotheses.
Meanwhile, of course, if ZFC is inconsistent, then it is strong enough to prove any assertion, including the one you ask about, and so we cannot say for sure that ZFC doesn't prove that assertion without going beyond ZFC in our axioms.