Text this: Set theory and its logic