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