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