Öncelikle gerçel sayının ne olduğunu hatırlayalım.
X={⟨an⟩∣⟨an⟩, Q'da Cauchy dizisi} olmak üzere
β={(⟨an⟩,⟨bn⟩)∣lim
bağıntısı bir denklik bağıntısıdır. Bu denklik bağıntısına göre oluşan denklik sınıflarının her birine bir gerçel sayı, denklik sınıflarının (gerçel sayıların) oluşturduğu oran (bölüm) kümesine de gerçel sayılar kümesi denir. Buna göre genel kuralı x_1=2, \,\ x_{n+1}=\frac{1}{2}\left(x_n+\frac{2}{x_n}\right) olan \langle x_n\rangle dizisi, \mathbb{Q}'da bir Cauchy dizisidir. Bu elemanın (dizinin) denklik sınıfı \sqrt{2} ile gösterilir. O halde \sqrt{2} bir gerçel sayıdır.