Elements of Set Theory

Enderton, Herbert B.

LaTeX

Full set of proofs and exercises.

Lean

• Chapter 1: Introduction
• Chapter 2: Axioms and Operations
• Chapter 3: Relations and Functions
• Chapter 4: Natural Numbers
• Chapter 6: Cardinal Numbers and the Axiom of Choice