En 1920, il propose de façon explicite un projet de recherche -LRB- en métamathématique, comme on l'appelait alors -RRB-, connu sous le nom de programme de Hilbert.
En 1920, il propose explicitement un projet de recherche en métamathématique, connu sous le nom de programme de Hilbert.