During mathematician David Hilbert's lifetime, there was a push to establish mathematics as a logical construct.
Durante la vida del matemático  David Hilbert, hubo un impulso para establecer  las matemáticas