ocw.mit.edu
Unknown
MIT OpenCourseWare (ocw.mit.edu) is a free, public platform that publishes lecture notes, assignments, exams, and video lectures from MIT courses. It offers searchable materials across math, science, and engineering, enabling self-paced study of topics including set theory and the Axiom of Choice.
More resources on Axiom of Choice
MathWorld: Axiom of Choice
Concise reference with proofs
nLab: Axiom of Choice
Category-theoretic perspective, favored by practitioners
Stanford Encyclopedia of Philosophy: Axiom of Choice
Comprehensive philosophical and mathematical overview, top rec in r/math
Banach-Tarski Paradox and Axiom of Choice
Numberphile video explaining AC via Banach-Tarski, highly upvoted in r/math
Logic and Set Theory
This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.
Set Theory
Learn the axiom of choice and its implications in set theory. Taught by William Hamilton.