We explore the proof Boolos has given for Gödel's first incompleteness theorem, which has a lot of similarities with Berry's Paradox. Then we give a proof for Tarski's theorem about the undefinability of truth and Turing's solution for the Entscheidungsproblem in a similar way.

We explore the proof Boolos has given for Gödel's first incompleteness theorem, which has a lot of similarities with Berry's Paradox. Then we give a proof for Tarski's theorem about the undefinability of truth and Turing's solution for the Entscheidungsproblem in a similar way.