La distinción entre metalenguaje y lenguaje objeto permitió a Alfred Tarski formular una teoría semántica de la verdad.