Title: Tarski's world
Subjects: First-order logic, Tarski's world