Comment by nilkn

My language was sloppy, but I'll admit I thought it was pretty obvious that we were talking about defining the rest of the reals starting from the rationals -- obvious enough that it didn't need clarification. I can't edit my prior comment, but you may imagine it has been amended in the obvious way with that clarity made explicit rather than implicit and reply to it again if you're interested in continuing the conversation.