# Defining Gödel Incompleteness Away

# Abstract

We can simply define Gödel 1931 Incompleteness away by redefining the meaning of the standard definition of Incompleteness: A theory T is incomplete if and only if there is some sentence φ such that (T ⊬ φ) and (T ⊬ ¬φ). This definition construes the existence of self-contradictory expressions in a formal system as proof that this formal system is incomplete because self-contradictory expressions are neither provable nor disprovable in this formal system. Since self-contradictory expressions are neither provable nor disprovable only because they are self-contradictory we could define them as unsound instead of defining the formal system as incomplete.# Author's Profile

# Analytics

**Added to PP**

2020-06-27

**Downloads**

128 (#52,592)

**6 months**

21 (#49,429)

**Historical graph of downloads since first upload**

*This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.*