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