## 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:

http://www.domenicdenicola.com/School/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.