La tesis de Kurt Gödel demostró el teorema de integridad de la lógica predicada de primer orden con identidad. Apenas un año después, obtuvo sus resultados más famosos: el primer y segundo teoremas de...La tesis de Kurt Gödel demostró el teorema de integridad de la lógica predicada de primer orden con identidad. Apenas un año después, obtuvo sus resultados más famosos: el primer y segundo teoremas de incompletitud.
