idea
What true means in Gödel’s setting
True means true of the actual natural numbers, 0, 1, 2, 3 and so on. A statement like “there are infinitely many primes” is true if it holds for those numbers, whether or not anyone can prove it. Truth is the numbers themselves, and a proof is one way of getting at them.
This assumes the numbers are a definite thing that exists independently of our rulebooks. Some accept that (Gödel did). A formalist would say math is only the rules, so “true” means “provable”, and the Gödel sentence is neither true nor false, just undecidable.