The following may be of some use to people. Feel free,
just don't remove my name.
- This is a development of the number systems, from counting
numbers to real numbers. It is fully rigorous, given informal set theory
and logic. But it also attempts to supply intuition, background, and a
- Notes on Incompleteness
- This treatment of the incompleteness results went through several versions, prehistory, April 1993, modified May 1999, completed December 2006. It is now finished, under the title Incompleteness in the Land of Sets, and has been published by College Publications. It is available for $30 from Amazon, among other places.