Sobre la completitud del cálculo de funciones lógicas

Explora la completitud en la lógica proposicional, extendiendo la discusión matemática de Gödel hacia un nuevo ámbito formal.

Presenta el primer teorema de incompletitud, profundizando en las implicaciones de su trabajo inicial sobre la lógica y la aritmética.

Amplía la tesis original, enfatizando la naturaleza de los sistemas formales y su incapacidad para demostrar todas las verdades aritméticas.

Introduce conceptos fundamentales sobre la consistencia de los sistemas formales, que son cruciales para entender las limitaciones expuestas en la tesis doctoral.

Reitera la demostración de la completitud en cálculo de predicados, aportando un análisis que se complementa con su investigación en lógica matemática.

Discute las proposiciones indescifrables, ofreciendo un contexto filosófico sobre los resultados de Gödel y su impacto en la lógica matemática.