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.