La verdad empírica y su falibilidad queda drásticamente separada de la validez formal, propia de las estructuras abstractas de la lógica y las matemáticas.