An introduction to set theory and logic. First order logic is discussed, and an axiomatic presentation of Zermelo-Fraenkel set theory is given. Many methodologi... » 

An introduction to set theory and logic. First order logic is discussed, and an axiomatic presentation of Zermelo-Fraenkel set theory is given. Many methodological remarks and explanations are included, and the author demonstrates how the basic concepts of mathematics can be reduced to set theory. «