「どんな数学的体系にも、永遠にたどり着けない数学的真実がある」。アインシュタインをして「アリストテレス以来の最高の論理学者」と言わしめた天才が証明したのは、驚くほど明晰で、逆説的な定理だった。友情と苦悩、そして合理性に満ちた生涯を綴る、決定版評伝。