La posición de que el teorema muestra que los humanos tienen una habilidad que transciende la lógica formal también se puede criticar de la siguiente manera: No sabemos si la sentencia formula_6 es cierta o no, porque no sabemos (ni podemos saber) si el sistema es consistente.