İkinci çözüm: (\mathbb{R} nin Dedekind kesimleri yöntemi ile kuruluşunu kullanarak)
Bu kuruluşta, her bir gerçel sayı:
1. \emptyset \neq A\subsetneqq\mathbb{Q}
2. x\in A ve y\leq x ise y\in A olur.
3. A nın en büyük elemanı yoktur.
şeklindeki bir A kümesi ile temsil edilir.
Sıralama şöyle tanımlanır:
x,y\in\mathbb{R} ve x,\ A ve y,\ B alt kümesi ile temsil ediliyor ise
A\subseteq B\Leftrightarrow\ x\leq y
Bu kuruluşta, her x\in\mathbb{Q} sayısı A_x=\{r\in\mathbb{Q}:r<x\} ile temsil edilir.
İspat:
x\in\mathbb{R} olsun. x,\ A\subset\mathbb{Q} ile temsil edilsin.
A\neq\mathbb{Q} olduğu için s\notin A olacak şekilde bir s\in\mathbb{Q} vardır.
|s|=\frac mn,\ m,n\in\mathbb{N}^+ olsun. m\geq|s|\geq s olur.
B=\{r\in\mathbb{Q}:r<m\}, m doğal sayısına karşı gelen kümedir.
A nın 2. özelliğinden, m\notin A olur.
A nın 2. özelliğinden, \forall r\in A için m>r olur.
A\subseteq B olur.
Bu da x\leq m olması demektir.
Bu da \mathbb{N} nin, \mathbb{R} de, bir üst sınırı olmadığını gösterir.