Supongamos $x$ es un número real positivo. Se puede demostrar que $n\mapsto 10^n$ es un mapa que es ilimitado por encima de los números enteros, así que por Arquímedes de la propiedad, hay algunos entero $n$$10^{n+1}\ge x$. Tomar al menos $n$ (¿por qué debe uno existe?), y deje $a_{-n}$ ser el mayor elemento de $a$ $\{0,1,2,...,8,9\}$ tal que $a\cdot 10^n<x$ (¿por qué debe uno existe?). Ahora bien, dado $a_{-n},a_{-n+1},...,a_{m}$ algunos $m\in\Bbb Z$, dejamos $a_{m+1}$ ser el mayor elemento de $a$ $\{0,1,2,...,8,9\}$ tal que $$a\cdot 10^{-(m+1)}<x-\sum_{j=-m}^na_{-j}\cdot10^j$$ (why must one exist?) Recursively, this determines a sequence $a_{-n},a_{-n+1},...$ of elements of $\{0,1,2,...,8,9\}$ such that for all integers $m\ge-n$ we have $$S_m:=\sum_{j=-m}^na_{-j}\cdot 10^j<x.$$ In fact, $S_{-n},S_{-n+1},...,S_m,...$ is a non-decreasing sequence of positive numbers, so since bounded above by $x,$ this sequence converges to some number no greater than $x$ by the Monotone Convergence Theorem. We can even do better than that, and show that the sequence of partial sums $S_n$ converges to $x$ (why?). The series thus determined is the infinite decimal expansion of $x$.
Si $x$ ha sido negativa, podríamos adquirir un decimal de expansión para $-x$ de esta manera, y luego la opuesta a la que iba a ser una expansión decimal para $x$. $0$ tiene una expansión decimal, también, para todos los números reales tienen un decimal de expansión, y por otra parte, todos ellos (excepto posiblemente $0$) tienen una expansión decimal infinita (aunque algunos pueden tener también un decimal finito de expansión).