Чтобы оценить теорему Гёделя, необходимо понимание контекста, в котором произошло революционное открытие Геделя. Я попытаюсь дать неполный обзор истории математической логики. Логика — одна из древнейших научных дисциплин. Формальная традиционная логика была создана в трудах Аристотеля ( 384–322 гг. до н.э.) на заре европейской цивилизации в Древней Греции. Аристотель — автор оригинальной, тщательно разработанной логической системы. Его силлогистика была исторически первой логической дедуктивной системой...

Идет 1902 год, немецкий философ, а заодно логик и математик, Фридрих Людвиг Готлоб Фреге терпеливо трудится над вторым томом "Основных законов арифметики". И вот, когда основная работа подходит к концу, к нему приходит письмо от другого мастодонта логики - англичанина Бертрана Рассела...