New Chapters for #OpenEducationWk

We have new chapters on non-standard (and standard) models of arithmetic and on second-order logic.  First drafts, so please provide feedback and report mistakes you find (especially in the second-order logic part).

They are part of the new remixed text on incompleteness, too.