That is also not how it works. The theorem says that there exist some true statements for which there is no proof. This is assuming the axioms are consistent.

I think you're right, I'm conflating two separates things.