V knize Gödelův důkaz nabízejí Ernest Nagel a James R. Newman čtivý a speciální symboliky prostý výklad hlavních myšlenek a důsledků Gödelova objevu. Kniha byla poprvé publikována v roce 1958, a od té doby je znovu a znovu vydávána – čeština je jedenáctým jazykem, do něhož byla přeložena.