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