Por su parte, la satisfacción de la convención T en una definición de la verdad permite, dado cualquier dicho de Tarski citado como verdadero, establecer su equivalente en el lenguaje en que se interpretan los dichos de Tarski -y así en cualquier caso en que sea posible una definición adecuada materialmente y formalmente correcta-.