It thus became clear that the notion of mathematical truth can not be completely determined and reduced to a purely formal system as envisaged in Hilbert's program.
Таким образом, стало ясно, что математические основы не могут быть сведены к чисто формальной системе, как предполагалось в Гильбертовой программе.