english: During mathematician David Hilbert's lifetime, there was a push to establish mathematics as a logical construct.
non_english: Tokom života matematičara Dejvida Hilberta, postojao je pritisak da se utemelje logičke osnove matematike.