1999/10/05, 8:00-9:50 AM:

We modified the choice of the diagonal seq and
finished the proof of Q is dense in R. 

Done most of the proof of R is complete, left a small piece as HW.

We introduced equivalent forms of completeness, started proving.