 The central argument given in the proof of Tarski’s theorem is closely related to the central argument in Gödel’s first incompleteness theorem (Gödel, 1931). Gödel’s theorem can be given the following formulation.