Transitive model

A transitive model of set theory is a transitive set or transitive class whose membership relation is the ambient membership relation and which satisfies the specified set-theoretic axioms.

A model of set theory is well-founded when its internally interpreted membership relation is a well-founded relation externally. By the Mostowski collapse theorem, every well-founded extensional set model is isomorphic to a transitive model.

The ordinal height of a model $M$ is its class of internal ordinals. For a transitive set model this is an ordinal $\mathrm{Ord}\cap M$.

Let $M$ be a transitive set model of ZFC. If $\mathrm{Ord}\cap M$ were countable, then every $x\in M$ would be countable: the internal axiom of choice supplies a bijection from $x$ to an ordinal of $M$, which is externally countable. For every $\alpha \in \mathrm{Ord}\cap M$, the internal rank $V_{\alpha }^M$ is an element of $M$ and hence countable. The Axiom schema of replacement inside $M$ gives $M={\bigcup }_{\alpha \in \mathrm{Ord}\cap M}{V}_{\alpha }^M$, a countable union of countable sets. Thus every uncountable transitive set model has uncountably many ordinals.