독창적인 증명을 통해 그는 충분히 복잡한 체계, 요컨대 수학자들이 사용하고자 하는 체계라면 어떤 것이든 참이면서도 증명불가능한 명제가 반드시 존재한다는 사실을 밝혀냈다. 괴델이 보기에 이는 인간의 마음으로는 오직 불완전하게 헤아릴 수밖에 없는, 인간과 독립적으로 존재하는 영원불멸의 객관적 진리에 대한 증거였다. 레베카 골드스타인은 소설가로서의 기교와 과학철학자로서의 통찰을 결합하여 괴델의 정리와 그 현란한 귀결들을 이해하기 쉽도록 펼쳐 보임은 물론 괴팍스럽고도 처절한 천재의 삶을 생생히 그려 나간다.