Axiomatic set theory: Mathematical Logic course | Zoonk
37. Axiomatic set theory
Builds set theory from extensionality, pairing, union, power set, separation, replacement, foundation, and infinity. Learners derive standard constructions while tracking which ZF or ZFC axioms each argument uses.