Выдержка из книги
Стюарт Я.N.
Концепции современной математики
Быть может, следовало с самого начала понять, чтр программа Гильберта обречена на неудачу. Уж слишком она похожа на попытку поднять самого себя sg шнурки ботинок. Существуют ли вообще знания, истинные в абсолютном смысле. Но в том-то и дело, что значение работы Геделя выходит за рамки подобных умозрительных рассуждений: она доказывает невозможность арифметического доказательства непротиворечивости самой арифметики.
