Original: In 1920 he proposed explicitly a research project (in metamathematics, as it was then termed) that became known as Hilbert's program.
Simplified: In 1920 he proposed explicitly a research project in metamathematics, which became known as Hilbert's program.