By the downward Lowenheim-Skolem theorem, every satisfiable theory in a countable language has a countable model. This means the existence of models is entirely determined by countability of the theory: if a sentence is consistent, there is a countable witness. Countable models play a central role in understanding the model-theoretic behavior of theories.
From your study of the downward Löwenheim–Skolem theorem, you know its core result: any structure with an infinite domain, in a countable language, has an elementary substructure with a countable domain. Countable model existence builds on this to make a more fundamental point — not just that countable models can be *found inside* larger ones, but that consistency alone guarantees a countable witness. If a first-order theory T is consistent (has some model at all), then by the completeness theorem it is satisfiable, and by downward Löwenheim–Skolem that model can be taken to be countable.
This has a remarkable consequence: to determine whether a theory has *any* model, you only need to ask whether it has a countable model. The infinite cardinalities above ℵ₀ do not add anything new for the bare existence question. A theory that has no countable model has no model at all. This collapses an otherwise infinite hierarchy of size questions into a single yes-or-no test. Existence is equivalent to countable existence, at least for theories in countable languages.
The philosophical bite of this is felt most sharply through Skolem's paradox. The real number line ℝ is uncountable — Cantor's theorem is a theorem of ZFC, and ZFC proves that ℝ is uncountable. Yet downward Löwenheim–Skolem guarantees that ZFC has a countable model M. Inside M, there is an object M interprets as "the real numbers," and inside M, M satisfies "the reals are uncountable." But M itself is countable! The resolution is that *from outside* M, one can see a bijection between M's "reals" and ω. Inside M, no such bijection *exists as an element of M* — because M is a model of ZFC, it satisfies the sentence "no bijection between ℝ and ω exists," even though one exists from the external perspective. Uncountability is not absolute; it is *relative to the model*.
Representation questions ask not just whether a countable model exists but what it looks like. For some theories, all countable models are isomorphic — these are called ω-categorical theories. Examples include the theory of dense linear orders without endpoints (DLO), whose unique countable model is the rationals ℚ with their usual ordering. For other theories, countably many non-isomorphic countable models exist. Characterizing how many countable models a theory has (Vaught's conjecture territory) is one of the central open problems in model theory, and it all begins with the baseline fact established here: there is always at least one.