# seen from outside

**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.

Connects to:
- [the sentence](https://mapideas.org/i/th_sent)
- [what true means](https://mapideas.org/i/tr_true)
- [Tarski](https://mapideas.org/i/tr_tarski)

Source: https://mapideas.org/i/th_out · open on the map: https://mapideas.org/#th_out