Гильберт Д. Основания математики : теория доказательств / Д. Гильберт, П. Бернайс ; пер . с нем. Н. М. Нагорного ; под ред. С. И. Адяна. - Москва : Наука, Физматлит, 1982. - 652 с. - ( Математическая логика и основания математики ) . URL: http://sun.tsu.ru/limit/2016/000080480/000080480.pdf