**Category:**

Research Papers

**Sub-Category:**

Mathematics and Applied Mathematics

**Date Published:**

October 28, 2021

**Keywords:**

Gödel First Incompleteness theorem, self-reference

**Abstract:**

This Part 2 proves that, under the hypothesis that Gödel's formal system P were complete, the undecidable sentence involved in Gödel's First Incompleteness Theorem would be inconsistent, the reason for its consistency being its self-referential nature. This inconsistency makes Gödel's theorem unnecessary and confirm the conclusions on the supertask test of Gödel's sentence discussed in Part 1 of this article

### Comments

<<< Back