Merge pull request #12 from pharpend/develop

bulk merge from pharpend:lysa
Add an explanation of the peano axioms.

I still need to cite the source (Landeau's book).
Unchange the margins

This actually makes the book much more readable, and printer-friendly.