1. Feferman, S., Dawson Jr., J. W., Kleene, S. C., Moore, G. H., Solovay, R. M., van Heijenoort, J., Goldfarb, W. D., Parsons, C., & Sieg, W. (eds) (1986–2003). Kurt Gödel collected works, Five volumes. Oxford: Oxford University Press.
2. Fitting, M. C. (2007). Incompleteness in the land of sets. London: College Publications.
3. Gödel, K. (1931) Über formal unentscheidbare sätze der Principia Mathematica und verwandter systeme I. Monatshefte für Mathematik und Physik, 38:173–198. Translated as On formally undecidable propositions of Principia Mathematica and related systems I, in Feferman et al. (1986–2003, I, 145–195).
4. Paulson, L. C. (2014). A machine-assisted proof of Gödel’s incompleteness theorems for the theory of hereditarily finite sets. Review of Symbolic Logic, 7(3), 484–498.
5. Smullyan, R. M. (1956a). Elementary formal systems (abstract). Bulletin of the American Mathematical Society, 62, 600.