Text this: Foundations of point set theory