This course provides a rigorous, but readable view of set theory. It begins with axioms on sets, and then carefully discuss about relations between sets that are commonly seen. It also introduces definitions of natural numbers, rational numbers, real numbers, complex numbers, etc., in terms of the language of sets.