En 1920 David Hilbert propuso de forma explícita un proyecto de investigación (en "metamatemática", como se llamó entonces) que acabó siendo conocido como programa de Hilbert.