theory and problems of set theory Chapter 4