The Cherlin–Zilber conjecture

A simple group whose first-order theory is stable in \aleph_0 is a simple algebraic group over an algebraically closed field.

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

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