Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
- 1 October 1950
- journal article
- research article
- Published by Springer Nature in Mathematische Annalen
- Vol. 122 (5), 369-389
- https://doi.org/10.1007/bf01342849
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Schlußweisen-Kalküle der PrädikatenlogikMathematische Annalen, 1950
- Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen ZahlentheorieMathematische Annalen, 1943
- Die Widerspruchsfreiheit der reinen ZahlentheorieMathematische Annalen, 1936
- Untersuchungen ber das logische Schlie en. IMathematische Zeitschrift, 1935
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme IMonatshefte für Mathematik, 1931
- Die Grundlegung der elementaren ZahlenlehreMathematische Annalen, 1931