An introduction to axiomatic set theory, up to the proof of the consistency of the axiom of choice.