Outline sets chapter

The peano axioms fit in nicely with the sets chapter, so I moved them there. I
also outlined what else needs to be written in the sets chapter.