 Gödel first arrived at the incompleteness results (see  Section 5  below) by noting that truth (of the language of a system) must be undefinable in the system, a result conventionally credited to Tarski (there are certain real virtues in Tarski’s way of presenting the issue; see Gómez Torrente 2004). Let us now view the result in the context of Tarski’s approach to truth.