Resumen en español

Dentro de las ramas de investigación en Educación Matemática se encuentra la historia y filosofía de las matemáticas y cómo esta afecta de manera implícita el quehacer docente, de modo que en el presente trabajo se abordan los aspectos epistemológicos y filosóficos del formalismo, especialmente el proyecto formalista de David Hilbert. Iniciando con los referentes históricos que toma Hilbert para su fundamentación de la geometría, seguido de la presentación de su método axiomático y cuál es la diferencia con el método genético. Luego, se realiza un análisis sobre las exigencias que debe tener todo sistema axiomático y con esto se abre paso al enfoque puramente formal de Hilbert, dando paso a la metamatemática abordada desde los enfoques: formal, lógico e intuicionista.