Conjecture de Vaught

Une conjecture ouverte en théorie des modèles selon laquelle toute théorie complète du premier ordre dans un langage dénombrable possède soit un nombre dénombrable soit un nombre continu de modèles dénombrables non isomorphes ; elle exclut les cardinalités intermédiaires pour le nombre de modèles dénombrables.