1.1 Set theory