Set Theory for the Working Mathematician