[1] Die Hauptreferate des 8. Polnischen Mathematikeгkongress von 6. bis. 12. September 1953 ín Warschau; Andrzej Mostowski (u. Mitarbeiter). Der Gegenwärtige Stand der Gгundlagenforschung in der Matematik. Deutscher Verlag der Wissenschaften Beriin, 1954. Zbl 1151.94459

[2] Kurt Gödel: Übeг formal unentscheidbere Sätze ... Monatsh. f. Math. u. Phys. 38 (1931), 173-198. MR 1549910

[3] Ladislav Rieger: A contribution to Gödeľs axiomatic set theory, II. Čech. mat. žurnal 9 (84), 1959, 1-49. MR 0124202

[4] David Hilbert, Paul Bernays: Grundlagen der Mathematik I, II. Springer, Wien 1934, 1939. J

[5] Kurt Gödel: The consistency of the axiom of choice and of the generalized continuum hуpothesis. Ann. of Math. Studies, Princeton 1940.

[6] A. Mostowski: Sentences Undecidable in Formalized Arithmetic. Studies in Logic, North-Holland Publishing Co, Amsterdam. 1952. MR 0048366 | Zbl 0047.00903

[7] Ladislav Rieger: O některých základních otázkách matematické logiky. Časopis pro pěstování matematiky, 81 (1956), 342 - 351. MR 0084467

[8] Gerhard Gentzen: Die Widerspruchsfreiheit der reinen Zahlentheorie. Math. An.. 112 (1936), 493-565. MR 1513060

[9] Cm. E. Kлuнu: Увeдeниe в мeтaмaтику. Mocквa, Изд. ин. лит. 1957. (Překlad z angl. A. S. Jesenina - Voľ pina.)

[10] Thoralf Skolem: Über die Nichtcharacterisierbarkeit der Zahlenreihe... Fun. Math. 23 (1934), 150-161.

[11] Kurt Gödel: Recense práce [10]. Zbl. f. Math. 7 (1934), 193-194. MR 2139367

[12] Leonard Dickson: History of the Theory of Numbers. Vol. I, Carnegie Inst., Washington 1919.

[13] Bartel L. v. d. Waerden: Moderne Algebra I. Aufl. Springer Berlin, 1939.