Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.2
GDML_Books, (1950), p.
EUDML-ID : urn:eudml:doc:203066 
@book{PPN361751974,
     title = {Encyklop\"adie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.2},
     series = {GDML\_Books},
     year = {1950},
     language = {de},
     url = {http://dml.mathdoc.fr/item/PPN361751974}
}

 (éd.). Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.2. GDML_Books (1950),  http://gdmltest.u-ga.fr/item/PPN361751974/

Sommaire

1. Einleitende Abgrenzung. (2., völlig neu bearbeitete Auflage). Von Arnold Schmidt. p. 2
A. Axiomatik und allgemeine Beweistheorie p. 3
2. Die Grundforderungen der Axiomatik. p. 3
3. Grundgedanke der Beweistheorie. Methoden. p. 6
4. Rekursive Zahlentheorie. Syntaxarithmetisierung. Unvollständigkeitssatz. p. 11
5. Interpretatinstechnische Weiterführung der Axiomatik. Grundsprache. p. 15
6. Forderungen an das Begriffsnetz. p. 18
B. Kodifikation und Beweistheorie der Zahlenlehre. p. 19
7. Zahlentheoretische Funktionen. Rekursion. p. 19
8. Einige Kodifikate der reinen Zahlenlehre. p. 22
9. Widerspruchsfreiheitsnachweise für Teile der Zahlenlehre. p. 25
10. Widerspruchsfreiheitsnachweise für die Zahlenlehre. p. 29
11. Widerspruchsfreiheitsnachweise für die verzweigte Analysis. p. 31
C. Die logische Begründung der Mathematik. p. 34
12. Grundgedanke. p. 34
13. Definition der Zahl. Typentheorie. p. 34
14. Grenzen der Zurückführung der Mathematik und Logik. p. 38
D. Intuitionistische Mathematik. p. 39
15. Konstruktivität. Nennbarkeit. p. 39
16. Vorrats- und Vollzugsauffassung. Die natürlichen Zahlen als Gesamtheit. p. 40
17. Intuitionistischer Umgang mit den natürlichen Zahlen. p. 42
18. Intuitionistischer Umgang mit den reellen Zahlen. Wichtigste Ergebnisse. p. 45