Martin Davis, 1974. . Notes by Barry Jacobs. Courant Institute of Mathematical Sciences, New York University. . To oversettelser til engelsk: 1963 (1901). . Beman, W. W., ed. and trans. Dover. 1996. In , 2 vols, Ewald, William B., ed. Oxford University Press: 787–832. Gentzen, G., 1936, 112: 132–213. Trykket i Engelsk oversettelse i hans 1969 , M. E. Szabo, ed. Amsterdam: North-Holland. . Se On Formally Undecidable Propositions of Principia Mathematica and Related Systems for detaljer om oversettelser til Engelsk. --------, 1958, "Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes," 12: 280–87. Utgitt i Engelsk oversettelse i 1990. Gödel's , Vol II. Solomon Feferman et al., eds. Oxford University Press. Hatcher, William S., 1982. . Pergamon. Derives the Peano axioms (called ) from several axiomatic set theories and from category theory. David Hilbert,1901, "Mathematische Probleme". 3(1): 44–63, 213–37. English translation by Maby Winton, 1902, "Mathematical Problems," 8: 437–79.