Vaught Conjecture

An open conjecture in model theory that every complete first‑order theory in a countable language has either countably many or continuum many nonisomorphic countable models; it rules out intermediate cardinalities for the number of countable models.