En este artículo se examina la manera en que Hilbert elabora su primer formalismo al investigar los fundamentos de la geometría. El interés se centra en la forma en que elabora una nueva concepción de las teorías matemáticas. Se contrasta la postura de Hilbert con el constructivismo de Kant, el cual perduró en la filosofía de las matemáticas durante mucho tiempo. Para ello, en la primera parte se examina la manera en que Kant explica la demostración geométrica y se muestra el vínculo entre su explicación y la teoría de esquemas que él mismo sostiene. También se expone la concepción subyacente a los Grundlagen der Geometrie de Hilbert, y se busca reconstruir el camino que siguió hasta alcanzar esa concepción. En particular se examina el lugar que ocupan la geometría proyectiva y el principio de dualidad en sus reflexiones. Por último, se apunta a la idea de que el primer formalismo de Hilbert constituye una generalización necesaria de la filosofía matemática de Kant.