El problema: ¿Se puede presentar una definición satisfactoria que sea materialmente adecuada y formalmente correcta del término "verdadero"? Tarski demostró que la aplicación no paradójica del concepto de verdad depende de la distinción entre lenguaje objeto y metalenguaje.