Advanced philosophy of mathematics: Gödel
City Lit