Hilbert's program

Hilbert's program was a proposed research project in the foundations of mathematics, formulated by mathematician David Hilbert in the 1920s, to provide all of mathematics with a secure, consistent, and complete formal foundation. The program sought to resolve the foundational