Según Tarski, la verdad de un enunciado en un lenguaje objeto se debe declarar siempre desde un metalenguaje, o de lo contrario se cae en paradojas semánticas como la paradoja del mentiroso.