A proof of Tychonoff’s theorem and its equivalence to the axiom of choice

Zorn’s lemma other maximal principles

Variants of the well-ordering theorem involving ordinals and cardinals

Main versions of the axiom of choice

A list of the most important inequalities of analysis and their proofs

Equivalent and non-equivalent notions of compactness, and their proofs.