Text this: Aproximación epistémica y filosófica del programa formalista de David Hilbert