The list of theorems of set theory, some of which accompanied by proofs written by myself using LaTeX.