Они показали неосуществимость в целом программы Гильберта ( см. Метаматематика), к-рая предусматривала полную формализацию существенной ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Прохоров Ю.В.
Большой энциклопедический словарь Математика
Они показали неосуществимость в целом программы Гильберта ( см. Метаматематика), к-рая предусматривала полную формализацию существенной части математики и обоснование полученной формальной системы путем доказательства ее непротиворечивости финитными методами.
