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