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