During mathematician David Hilbert's lifetime, there was a push to establish mathematics as a logical construct.
Во времена математика Давида Гильберта было движение сделать математику логическим построением.