Sus métodos semánticos —que culminaron en la teoría de modelos desarrollada en los años 50 y 60 junto a sus discípulos de Berkeley— transformaron radicalmente la metamatemática, consolidándola como ciencia estricta.