Add a bunch of stuff, mostly new content

There's part of a chapter on set theory, and part of a chapter on the Peano axioms. 

Note that the changes introduced in #29 aren't merged into this branch, so we might have merge conflicts.