Логические исчисления и формализация арифметики, пер. с нем., М., 1979; их же, Основания математики. Теория доказательств, пер. с нем., М., 1982; Гёдель К., «Успехи матем. наук», 1948, т. 3, в. 1, с, 96—149; Коэн П. Д ж., Теория множеств и континуум-гипотеза, пер. с англ., М., 1969; Генцен Г., Непротиворечивость чистой теории чисел, в кн.: Математическая теория логического вывода, М., 1967, с. 77 — 153. Посилання Аксіоматичний метод // ВУЕ Аксіоматика