Lecture 4: Set Theory