Literatur
D. Hilbert, Neubegründung der Mathematik. I. [Abhandlungen des Math. Sem. der Hamb. Univ.1 (1923), S. 157–175. Die logischen Grundlagen der Mathematik [Math. Annalen88 (1923), S. 151–165]. P. Bernays, Erwiderung auf die Note von Herrn Aloys Müller “Über Zahlen als Zeichen” [Math. Annalen 90 (1923), S. 159–163]. W. Ackermann, Begründung des Tertium non datur mittels der Hilbertschen Theorie der Widerspruchfreiheit [Math. Annalen92 (1924), S. 1–35].
—Vgl. die in Fußnote. zitierten Arbeiten von Hilbert und Ackermann, sowie die Kommentare zur Gruppe I in § B. 3.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
v. Neumann, J. Zur Hilbertschen Beweistheorie. Math Z 26, 1–46 (1927). https://doi.org/10.1007/BF01475439
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01475439