Filippovski, V. (2022). The Reconstruction of the First K. Goedel’s Incompleteness Theorem. Analytica, 3, 37–77. https://www.analytica-journal.ru/index.php/analytica/article/view/22