В 1920 году он открыто предложил исследовательский проект (в метаматематике, как его тогда называли), который стал известен как программа Гильберта.
В 1920 году он открыто предложил исследовательский проект по метаматематике, который стал известен как программа Гильберта.