En el Congreso celebrado en 1900, David Hilbert planteó varios problemas, entre los que incluía la demostración de la consistencia de los axiomas de las matemáticas y la axiomatización de la física.