You are talking about his Incompleteness theorem. This article is about a different theorem, with a different definition of "completeness".