§ WIP: Tarski's undefinability theorem

Read George S Boolos, computability and logic till chapter 18 =)