Na história da Lógica e da Matemática, o trabalho publicado em 1931, por Kurt Gödel, tem um lugar à parte por seu efeito revolucionário na crítica de idéias sobre os fundamentos das duas citadas disciplinas. O presente livro de Ernest Nagel e James R. Newman pretende conduzir o leitor pelos meandros do problema em causa e da prova desenvolvida, bem como de suas raízes e seu contexto, aclarando em todos os sentidos a sua compreensão.