Vaughts Vermutung

Eine offene Vermutung der Modelltheorie, wonach jede vollständige erste‑Ordnungstheorie in einer abzählbaren Sprache entweder abzählbar viele oder kontinuum viele nichtisomorphe abzählbare Modelle hat; sie schließt intermediäre Kardinalitäten für die Anzahl abzählbarer Modelle aus.