set theory: an open introduction