A romancista Rebecca Goldstein se debruça sobre uma das mais intrigantes e controversas descobertas científicas do século passado: o teorema da incompletude, formulado no início da década de 30 pelo matemático Kurt Gödel. Segundo o teorema, que a autora explica em linguagem acessível mas sem perder a profundidade, em todo sistema matemático complexo, há verdades objetivas que não podem ser provadas. Numa era de revoluções do pensamento científico, a contribuição de Gödel talvez tenha sido a mais marcante, levando-se em conta o quanto os outros ramos da ciência devem à matemática.