english: During mathematician David Hilbert's lifetime, there was a push to establish mathematics as a logical construct.
non_english: Matematikçi David Hilbert'in hayatı süresince matematiği mantıksal bir yapı olarak kurma gayreti vardı.