Comment by noslenwerdna

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.