Construction of $\Bbb R$ from $\Bbb Q$ As it is true that we can construct all rational numbers $\Bbb Q$ from the set of integers $\Bbb Z$, is it possible to construct the set of real numbers $\Bbb R$ from $\Bbb Q$? If yes, how? Is there any procedure? And if no, is there any proof that we can't ? Thanks! 
 A: The real numbers can also be constructed from the rationals via Cauchy Sequences.
A: Consider the following set of rational numbers:
$S =\{x \in \Bbb{Q}:x < 0, \text{ or } x^2 < 2\}$
This set is clearly bounded above, for example, $2$ is an upper bound. The thing is, the set has no rational least upper bound. In fact, it seems like we can get quite a good idea of "how big" such a least upper bound would have to be: if we call it "$x$", you can see that: $1.4 < x < 1.5$, for example.
So, the general idea is to capture all the "magnitudes" that rational numbers can approximate, but never hit "exactly". There are a few different ways to do this: Dedekind cuts, Cauchy sequences and "infinite decimals" being the most popular. All of these are designed to do one thing: ensure that the least upper bounds of sets like $S$ always exist (equivalently: ensure that (rational) Cauchy sequences converge "to something").
This process is called "completion", and can be thought of as "filling the gaps" in the rationals (so we get a continuum). It is, at the heart of it, a topological construction, and the need for it doesn't become clear until one starts to investigate continuity. For algebra (that is, solving polynomial equations with rational coefficients), algebraic numbers would suffice (things involving square, cube and n-th roots, and the like), but analysis of functions often requires we get an estimate of "the size of something". Intuitively, we want such "sizes" to be bona-fide numbers, that we can manipulate according to the familiar rules we learn early in life (that is, we want an ordered field, at the very least).
So, yes, there are several such constructions...what is fascinating is that each construction gives us "the same object" (only the names are changed, to protect the innocent). This justifies the real numbers being called "THE" complete ordered field (although to be 100% correct, one should say "complete archimedean ordered field", because there are complete ordered fields which are not (isomorphic to) the real numbers, such as the hyperreals).
A: To complete the list from Spivak, we can also define the reals 'naively' as infinite decimal sequences, but this is essentially picking a representative element from an equivalence class of Cauchy sequences.
(eg $\pi$ should be the limit of the sequence 3, 3.1, 3.14, 3.141, ...)
A: The set of real numbers is the complete ordered field containing the rationals which is unique upto isomorphism and in fact each real number is defined as set of rationals satisfying certain properties called Dedekind Cuts. See also the link @anon posted. 
