During mathematician David Hilbert's lifetime, there was a push to establish mathematics as a logical construct.
Za życia matematyka Davida Hilberta naciskano, by uznać matematykę za konstrukt logiczny.