# Tarski

**Tarski: a system cannot define its own truth**

Inside the machine you can build “provable”, but you cannot build “true”. Truth always has to be judged from a stronger place outside.

Connects to:
- [the ladder](https://mapideas.org/i/tr_ladder)
- [seen from outside](https://mapideas.org/i/th_out)

Sources:
- [Wikipedia: Tarski’s undefinability theorem](https://en.wikipedia.org/wiki/Tarski%27s_undefinability_theorem)
- [Stanford Encyclopedia of Philosophy: Tarski’s Truth Definitions](https://plato.stanford.edu/entries/tarski-truth/)

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