괴델의 불완전성 정리에 관해 평이하면서도 알차게 알아갈 수 있는 좋은 교양서이다. 괴델 증명의 개요를 비형식적으로 평이하게 해설할 뿐만 아니라, 그와 얽힌 전기적 사실 및 가벼운 철학사적 사안들도 자연스럽게 엮어내고 있어, 불완전성 정리는 고사하고 19세기 말 20세기 초의 수학철학을 전연 모르는 일반적인 독자층도 아주 쉽게 읽어나갈 수 있겠다. 이 책마저 버거울 듯한 수준이라면 이보다 앞서 박정일, "괴델&튜링: 추상적 사유의 위대한 힘"을 먼저 읽은 뒤 이 책으로 넘어오면 될 일이고, 이 책을 읽고 더 흥미를 느낀다면 M. Klein, "수학의 확실성"과 E. Nagel, "괴델의 증명"으로 심화시켜볼 수 있겠다. 다만 책 전체에 걸쳐 괴델의 수학적 실재론 입장이 자주 환기 및 강조되는데, 그러한 부분들에 대한 저자의 서술을 좀 더 제대로 음미하기 위해서는 20세기 수학철학에서 전개된 실재론-반실재론 논쟁을 다소 이해하고 있어야 하겠다.