Introduction to axiomatic set theory by Krivine