This book discusses set theory as the foundation and language of all mathematics and how axiomatic set theory benefits from advances in logic. The axioms of (ZFC) set theory are introduced with natural axiomatizations and informal justifications, which is relatively distinctive.