Conjetura de Vaught

Una conjetura abierta en teoría de modelos que afirma que toda teoría completa de primer orden en un lenguaje contable tiene o bien un número contable o bien un número del continuo de modelos contables no isomorfos; excluye cardinalidades intermedias para el número de modelos contables.