Kurt Godel reúne estudo sobre contribuições em lógica matemática e fundamentos da teoria dos conjuntos.

Contextos históricos e debates sobre decidibilidade e completude aparecem ao longo do texto, com referência a demonstrações formais.

Textos e documentos situam provas e argumentos formais que marcaram discussões em lógica e filosofia da matemática.