DLO’s III – from rational to real

From the last two posts we managed to prove both the existence and the uniqueness of the rationals, which could be done by explicit definitions using known facts about the natural numbers. However, we also showed that the property that distinguished the real numbers from the rationals, namely completeness, couldn’t be defined in first-order logic. This also means that we can’t proceed to prove the existence of the reals in a direct matter as the rationals, and we will do so by indirect means. Continue reading


DLO’s II – uniqueness of rationals

Now that we’ve proven that the rationals exist, we would like to know if it would make a difference had we picked another representative of the countable DLO’s without endpoints as our rationals. Would any candidate have been suitable or is our choice of \left<\mathbb{Q},\prec_\mathbb{Q}\right> special? Continue reading

DLO’s I – existence of the rationals

One of the very first things we learn at higher math education is the different kinds of number sets, e.g. the naturals, rationals and reals. These are however just taken for granted, and we merely assume that these actually exist and are well-defined. I’ll spend the next few blog posts to characterize the rationals and the reals from facts known from the natural numbers alone. This post will be dedicated to proving the existence of the rationals Continue reading