Esta propuesta de formalización se conoció como "programa de Hilbert".