We presented the Zermelo-Fraenkel axioms and derived some immediate consequences. In particular, we discussed Russell’s paradox and how it implies that the universe is not a set.
We briefly mentioned some alternatives such as Peter Aczel’s antifoundation axiom or Quine’s New Foundations. Aczel’s book can be found here. A nice short introduction to Quine’s NF can be found here.
I’m going to attempt to retype my notes this time around. So far I’ve finished lecture 1, so here are the results:
Click to access Ma%20116C%20Notes.pdf
Corrections or comments welcome. Hopefully I can keep this up!
Great! This looks very nice, thank you. I’ll send some comments once I read your notes carefully.