Филипповский, В. (2022). Реконструкция доказательства первой теоремы К. Геделя о неполноте. Analytica, 3, 37–77. https://analytica-journal.ru/index.php/analytica/article/view/22