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

Article Sidebar

PDF (Russian)
Published: Jan 9, 2022
Keywords:
Gödel’s First incompleteness theorem, proof, reconstruction

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
Issue
Vol. 3 (2009)
Section
Articles
Creative Commons License

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

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