Varsayalım ki $(0,1)$ kümesi ile $\mathbb{N}$ kümesi sayısal denk olsun. O zaman $(0,1)$ kümesi ile $\mathbb{N}$ kümesi arasında bir birebir eşleme vardır. $(0,1)$ aralığındaki her sayıyı $$0,a_{11}a_{12}a_{13}\ldots$$ şeklinde yazılabileceğini göz önünde bulunduralım.
$\underline{\,\ \mathbb{N} \,\ }$ $\qquad \qquad$ $\underline {\,\ (0,1) \,\ }$
$\,\ 1 \quad \longleftrightarrow \,\ 0,a_{11}a_{12}a_{13}... $
$\,\ 2 \quad \longleftrightarrow \,\ 0,a_{21}a_{22}a_{23}... $
$\,\ 3 \quad \longleftrightarrow \,\ 0,a_{31}a_{32}a_{33}... $
$\,\,\ \vdots$ $\qquad \qquad \qquad $ $\,\,\ \vdots$
Şimdi de $$b_{i}:=\left\{\begin{array}{ccc} 0 & , & a_{ii}=1 \\ 1 & , & a_{ii}\neq 1 \end{array} \right.$$ olmak üzere $$0,b_1b_2b_3\ldots$$ sayısı $$\underline {\,\ (0,1)\,\ }$$ sütununda bulunan her sayıdan farklıdır. O halde varsayımımız yanlış. Yani $(0,1)$ kümesi ile $\mathbb{N}$ kümesi sayısal denk değildir.