Presents an introduction to set theory for beginning graduate students who want to get a grounding in those aspects of set theory used extensively throughout other areas of mathematics. This book contains topics that include formal languages and models, the power and limitation of the Axiomatic Method, and the Axiom of Choice.