La distinción entre lenguaje objeto y metalenguaje fue introducida por Alfred Tarski como una solución a las paradojas semánticas como la paradoja del mentiroso.