Yes, but that larger system itself contains statements that are true but unprovable in itself, and so on in an infinite regression.
And before one hand-waves it away as a mere 'hole' that we can safely ignore, Chaitin extended Godel's work to show that there are in fact an infinitude of 'relevant' mathematical statements that are unprovable within any formal system S:
https://en.wikipedia.org/wiki/Kolmogorov_complexity#Chaitin'...
Thanks. And oops, I didn't know that the result was proven in a larger system. Did some searching and found this short answer[1] and a longer description[2] that I liked.
[1]:https://math.stackexchange.com/a/120018/19178 [2]:https://mathoverflow.net/a/24919
This statement in particular helped:
> The Incompleteness Theorem prevents ZFC from proving its own consistency and for that we need to have an additional axiom, giving us a stronger theory which can then prove ZFC is consistent