In 1920 he proposed explicitly a research project in "metamathematics", which became known as Hilbert's program. He wanted mathematics to be formulated on a solid and complete logical foundation. He believed that in principle this could be done, by showing that: