The Reconstruction of the First K. Goedel's Incompleteness Theorem
Main Article Content
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. Retrieved from https://www.analytica-journal.ru/index.php/analytica/article/view/22
Issue
Section
Articles
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.