introduction to modern set theory