1. Bernays, P. 1922 Über Hilberts Gedanken zur Grundlegung der Arithmetik, Jahresberichte DMV 31, 10–19.
2. 1922A Hilberts Bedeutung für die Philosophie der Mathematik, in: Die Naturwissenschaften 4, 93–99.
3. Bernays, P. 1930 Die Philosophie der Mathematik und die Hilbertsche Beweistheorie, in: [Bernays, 1976], 17–61.
4. Bernays, P. 1935 Hilberts Untersuchungen über die Grundlagen der Arithmetik, in: [Hilbert, 1935], 196–216.
5. Bernays, P. 1946 Gesichtspunkte zum Problem der Evidenz, in: [Bernays, 1976], pp. 85–91.