El formalismo surgido como consecuencia de la crisis fundacional de principios del siglo XX dio lugar al llamado programa de Hilbert.