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