The Reconstruction of the First K. Goedel's Incompleteness Theorem

Main Article Content

Vitaly Filippovski

Abstract


The aim of this paper is to reconstruct the proof of Gödel’s First incompleteness theorem. In result of the paper such proof has been constructed by methods of symbolic logic.


Article Details

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

How to Cite

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