До уваги читача пропонується книга відомого американського логіка Е. Нагеля та досвідченого популяризатора науки Дж.Р. Ньюмена, присвячена теоремі Геделя про неповноту. Ця теорема була викладена у невеликій статті К. Геделя, яка згодом відіграла вирішальну роль в історії логіки та математики. Автори цієї книги, не намагаючись дати загальний нарис ідей і методів математичної логіки, будують виклад навколо центральних, з їхньої точки зору, проблем цієї науки – проблем несуперечності та повноти. Доказ того факту, що для досить багатих математичних теорій вимоги ці несумісні, і є разюче відкриття Геделя, якому присвячена книга. Не вимагаючи від читача по суті жодних попередніх знань, автори з успіхом пояснюють йому сутність однієї з найчудовіших і найглибших теорем математики та логіки. Для фахівців з математичної логіки, студентів та аспірантів, а також усіх зацікавлених читачів.