Ese "verdadero" estará definido en términos de conceptos de una teoría más fuerte que T —por ejemplo, que trata no solo sobre individuos, sino sobre clases de individuos—, y por tanto con un lenguaje más rico.