Die Grundlagen der Arithmetik und Algebra

Ambas obras de Hilbert abogan por la axiomatización de las matemáticas, estableciendo la consistencia de los sistemas a través del formalismo riguroso.

Coescrita con Ackermann, esta obra profundiza en lógica y metamatemática, temas esenciales también en la exploración de fundamentos en 'Die Grundlagen der Arithmetik und Algebra'.

Presenta el enfoque formalista de Hilbert sobre los sistemas axiomáticos, alineándose con la búsqueda de fundamentos y consistencia en la aritmética y el álgebra.

Esta colaboración con Bernays detalla el programa formalista de Hilbert, similar a la preocupación por la consistencia de la aritmética y el análisis en la referencia.

Aborda los fundamentos matemáticos desde una perspectiva axiomatizada, reflejando el interés común por la lógica y la estructura de las matemáticas en el libro de Hilbert.

Este ensayo establece una formalización axiomática, fundamentando la geometría euclidiana y preparando el terreno para una aritmética rigurosa, central en la obra de referencia.