Por ejemplo, si T trata de ciertos individuos, T presupone un lenguaje más rico, en el que pueden formularse, para cada teorema t de T, las oraciones equivalentes '"t" es verdadero'.