Прекрасным дополнением материала этой главы может стать книга Торкеля Францена «Теорема Гёделя. Неполный путеводитель по ее правильному и неправильному использованию» (Gödel's Theorem: An Incomplete Guide to its Use and Abuse, by Torkel Franzén: A. K. Peters Ltd, 2005).