Title: Set theory and metric spaces