Una de las reacciones a esta crisis de la lógica fue la tentativa de David Hilbert quien cree que estas contradicciones pueden eludirse por medio de formalismo y quería llegar al mismísimo fin de la definición de la matemática.