Vaught conjecture

the number of countable models of a first-order complete theory in a countable language is either finite, \aleph_0, or 2^{\aleph_0}.

Open the “Model theory and formal languages” section on Wikipedia →

Source: List of unsolved problems in mathematics (CC BY-SA 4.0)