1. Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. Monatshefte für Mathematik und Physik, 38, 173–198.
2. Gödel, K. (2003). Grandjean’s questionnaire. In von S. Feferman (Hrsg.), Collected work (Bd. IV, S. 446–449). Oxford University Press: Oxford.
3. Hilbert, D. (1900). Mathematische Probleme. Vortrag, gehalten auf dem internationalen Mathematiker-Kongreß zu Paris 1900. In Nachrichten von der königl. Gesellschaft derWissenschaften zu Göttingen. Mathematisch-physikalische Klasse aus dem Jahre 1900 (S. 253–297).
4. Hilbert, D. (1905). Über die Grundlagen der Logik und der Arithmetik. In von A. Krazer (Hrsg.), Verhandlungen des Dritten Internationalen Mathematiker-Kongresses in Heidelberg vom 8. Bis 13. August 1904 (S. 174–185). Leipzig.
5. Hilbert, D. (1922). Neubegründung der Mathematik. Abhandlungen aus dem Mathematischen Seminar der Hamburgischen Universität, 1, 157–177.