No, he proved that under existing axiomatic systems, there are some statements which cannot be proven to be true axiomatically, even though they are true; such axiomatic systems are, in his terminology, incomplete. A subtle but important difference.