During mathematician David Hilbert's lifetime, there was a push to establish mathematics as a logical construct.
Durante a vida  do matemático David Hilbert, houve uma esforço para estabelecer a matemática como construção lógica.