Ahora bien, no presupone cualquier lenguaje más rico, sino uno que permita la satisfacción de la condición T —dados dos conceptos de verdadero en X, verdadero-1 en X y verdadero-2 en X, una oración de X es verdadera-1 si y solo si es verdadera-2; de lo contrario, uno de los conceptos no es adecuado—.