« first day (185 days earlier)      last day (1989 days later) » 

3:44 PM
I had difficulty finding a single, concise treatment online of the construction of numbers from the naturals through the reals. I have collected my notes in a document (<1,200 words); I want feedback so I may correct any errors in my understanding or its expression. Here is a link to my notes; please comment with suggestions: docs.google.com/document/d/…
 

« first day (185 days earlier)      last day (1989 days later) »