[1] |
Vgl. A. Fraenkel, Einleitung in die Mengenlehre, 3. Auflage, S. 305. |
[2] |
Vgl. G. Gentzen, Die Widerspruchsfreiheit der reinen Zahlentheorie, Math. Annalen112, (1936), S. 493–565. · Zbl 0014.38801 · doi:10.1007/BF01565428 |
[3] |
Math. Annalen65 (1908), S. 261–281. |
[4] |
Auf die Tatsache, daß bei Anwendung des engeren Prädikatenkalküls das Axiom der Aussonderung einen präzisen Sinn bekommt, hat zuerst Th. Skolem hingewiesen, vgl. Fund. Math.15 (1930), S. 337–341. |
[5] |
Vgl. Hilbert-Bernays, Grundlagen der Mathematik, wo die verschiedensten Systeme angegeben werden, oder auch die in Anmerkung 3) Vgl.. erwähnte Arbeit von G. Gentzen. · Zbl 0014.38801 · doi:10.1007/BF01565428 |
[6] |
Vgl. hierüber Hilbert-Bernays, op. cit. Grundlagen der Mathematik, wo die verschiedensten Systeme angegeben werden, oder auch die in Anmerkung 3) Vgl.. erwähnte Arbeit von G. Gentzen. · Zbl 0014.38801 · doi:10.1007/BF01565428 |