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