1. Budiansky 2021: Journey to the Edge of Reason: The Life of Kurt Gödel. Stephen Budiansky, W.W. Norton/Oxford Univ. Press/Ullstein (2021). ISBN: 978-1-324-00544-5.
2. Carnap 1963: ‘The Philosophy of Rudolf Carnap’. Hrsg. Paul Arthur Schilpp, Band XI der Library of Living Philosophers. Open Court Publishing, Peru IL (1963). Wiederaufgelegt 1997.
3. Christian 1980: Leben und Wirken Kurt Gödels, Curt Christian. In: Monatshefte für Mathematik, Band 89 (1980), S. 261–273.
4. Davis, Hrsg. 2006: The Incompleteness Theorem, Martin Davis. In: Notices of the AMS, Band 53, Nr. 4 (April 2006), S. 414–418. Im Internet bei: http://www.ams.org/notices/200604/200604-toc.html.
5. Dawson 1985: ‘Completing the Gödel-Zermelo Correspondence’. John W. Dawson, Jr, in: Historia Mathematica, Band 12, Nr. 1, S. 66–70 (1985). Dawson 1988: Kap. IV, ‚The Reception of Gödel,s Incompleteness Theorems‘, in [Shanker, Hrsg. (1988)].