In 1920 he proposed explicitly a research project (in metamathematics, as it was then termed) that became known as Hilbert's program.
Vào năm 1920 ông đề nghị một dự án nghiên cứu rõ ràng (về metamathematics, như là nó được gọi) mà sau đó được biết đến như là chương trình Hilbert.