idea

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
• seen from outside

Sources

1. Wikipedia: Tarski’s undefinability theorem
2. Stanford Encyclopedia of Philosophy: Tarski’s Truth Definitions