Er bewies in seinem Never 2 Theorem, dass eine vollständige Theorie erster Ordnung nicht genau zwei nicht-isomorphe abzählbare Modelle haben kann. ###>Vaught's "Never 2" theorem states that a complete first order theory cannot have exactly 2 nonisomorphic countable models.