“No hay necesidad de una prueba, es solo lo contrario de la paradoja de la capacidad de conocimiento de Fitch”.
Supongamos que p es una oración que es una verdad desconocida ; es decir, la oración p es verdadera, pero no se sabe que p sea verdadera. En tal caso, la oración “la oración p es una verdad desconocida” es verdadera; y, si todas las verdades son conocidas, debería ser posible saber que ” p es una verdad desconocida”. Pero esto no es posible, porque en cuanto sabemos que ” p es una verdad desconocida”, sabemos que p es verdadera, lo que hace que p ya no sea una verdad desconocida , por lo que la afirmación de que ” p es una verdad desconocida” se convierte en una falsedad. Por lo tanto, la afirmación ” p es una verdad desconocida” no puede ser conocida y verdadera al mismo tiempo. Por lo tanto, si todas las verdades son conocibles, el conjunto de “todas las verdades” no debe incluir ninguna de las formas ” algo es una verdad desconocida”; por lo tanto, no debe haber verdades desconocidas, y por lo tanto todas las verdades deben ser conocidas.