idea
Who sees from outside that the Gödel sentence is true
The system cannot prove the sentence. We can see that it is true, but only from outside, by reasoning about the system. Inside, it is unprovable. Outside, we see it is true precisely because it is unprovable.
That gap between true and provable inside is the whole theorem.