《타임》지 선정 20세기 최고의 수학자로 선정한 쿠르트 괴델의 ‘불완전성 정리’, 20세기 수리논리학의 꽃으로 인정받는 ‘괴델의 증명’을 쉽게 이해한다. 1931년 25세의 한 젊은 수학자가 발표한 논문이 20세기 수학계뿐 아니라 사상계 전반에 엄청난 충격을 일으켰다. 이 논문은 그동안 절대 진리로 믿고 있던, “수학은 완전하다, 모든 수학적 정리는 체계 내에서 증명 가능하다”는 믿음을 일거에 무너뜨렸다. 즉 “원래부터 증명 불가능한 어떤 것이 있다”는 것을 증명한 것이다. 이 책은 바로 인간 정신의 패러다임을 뒤바꾼 지적 모험에 대하여 일반인도 쉽게 이해할 수 있도록 그 추론 과정을 설명하고 있다.