I don't think that is quite accurate. Goedel proved that for any given finite axiomatization of the arithmetic of the natural numbers there is a statement that is true but not proveable in that axiomatization. The "finite" qualification is crucial to the proof.