In 1920 he proposed explicitly a research project (in metamathematics, as it was then termed) that became known as Hilbert's program.
En 1920 propuxo de forma explícita un proxecto de investigación (en metamatemática, como se chamou entón) que acabou sendo coñecido como programa de Hilbert.