Let T denote a completion of ZF. We are interested in the number μ(T) of isomorphism types of countable well-founded models of T. Given any countable order type τ, we are also interested in the number μ(T,τ) of isomorphism types of countable models of T whose ordinals have order type τ. We prove: (1) Suppose ZFC has an uncountable well-founded model and $\kappa \in \omega \cup \aleph ₀,\aleph ₁,2^{\aleph ₀}$. There is some completion T of ZF such that μ(T) = κ. (2) If α <ω₁ and μ(T,α) > ℵ₀, then $\mu (T,\alpha )=2^{\aleph ₀}$. (3) If α < ω₁ and T ⊢ V ≠ OD, then $\mu (T,\alpha )\in 0,2^{\aleph ₀}$. (4)...