Grundlagen der Mathematik, Band I

Este trabajo presenta una exposición exhaustiva de los fundamentos de la lógica matemática, enfatizando la consistencia y la completitud de los sistemas axiomáticos, como en la obra de referencia.

Aborda la geometría desde un enfoque formalista, similar a la búsqueda de consistencia y formalización de la matemática en el libro de Hilbert y Bernays.

Establece formalmente los sistemas axiomáticos y explora la consistencia y completitud en la lógica de predicados, temas centrales en la obra referencial.

Formaliza el cálculo proposicional y de predicados, ofreciendo una base teórica similar a la estructura lógica presentada por Hilbert y Bernays en su ensayo.

Desarrolla un planteamiento formalista de los fundamentos matemáticos, alineándose en su búsqueda de consistencia con la teoría de la demostración mencionada en el libro de referencia.

Analiza los fundamentos de la lógica y la metamatemática, proporcionando un contexto similar al de la teoría de la demostración en la obra de Hilbert y Bernays.