Филипповский В. Реконструкция доказательства первой теоремы К. Геделя о неполноте. Analytica [Internet]. 2022 Jan. 9 [cited 2024 Sep. 8];3:37–77. Available from: https://analytica-journal.ru/index.php/analytica/article/view/22