116c- Lecture 1

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 V=\{x : x=x\} 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.


2 Responses to 116c- Lecture 1

  1. Domenic says:

    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!

  2. Great! This looks very nice, thank you. I’ll send some comments once I read your notes carefully.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: