La condición de adecuación material de Tarski supone que toda teoría lograda de la verdad implica, para cada oración P del lenguaje objeto X para el que se define la verdad, que