This is modern set theory from the ground up--from partial orderings and well-ordered sets to models, infinite cobinatorics and large …