e/Proof sketch for Gödel's first incompleteness theorem

Information
has gloss	eng: This article gives a sketch of a proof of Gödel's first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the remainder of the article that a fixed theory satisfying these hypotheses has been selected.
lexicalization	eng: Proof sketch for Godel's first incompleteness theorem
lexicalization	eng: Proof sketch for Goedel's first incompleteness theorem
lexicalization	eng: Proof sketch for Gödel's first incompleteness theorem
instance of	(noun) a formal series of statements showing that if one thing is true something else necessarily follows from it proof