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