Tarski enuncia una teoría semántica de la verdad como teoría formal de la misma: