Chapter 10: Set theory and Logic