Die Vollständigkeit der Axiome des logischen Funktionenkalküls

Este artículo de Gödel explora las implicaciones de su teorema de incompletitud, complementando su tesis sobre la completitud con una visión más amplia de la lógica matemática.

En este texto, Gödel presenta sus teoremas de incompletitud, críticas a la completitud demostrada en su tesis, ampliando el debate sobre los sistemas axiomáticos formales.

Gödel revisa la obra de Carnap, discutiendo las limitaciones del logicismo, un enfoque que también subyace en su propia investigación sobre fundamentos matemáticos.

En este trabajo, Gödel analiza la consistencia del axioma de elección, un tema que, al igual que la completitud en su tesis, profundiza en los fundamentos matemáticos.

Este ensayo refuerza su tesis sobre la completitud al demostrar la validez del cálculo de predicados, siendo un estudio esencial para entender sus posteriores teoremas.

Gödel profundiza en la completitud dentro de la lógica proposicional, haciendo eco de su tesis doctoral al establecer bases cruciales para los principios de la lógica matemática.