We saw already that R must contain elements that are not in Q because of the least-upper-bound
property. We saw there is no rational square root of two. The set {x ∈ Q : x
2 < 2} implies the
existence of the real number √
2, although this fact requires a bit of work.