Proposizione

Fissato $b \ge 2$, ogni $n \in \mathbb N_0$ ha un’unica scrittura del tipo $n = c_0+c_1b^1+..+c_sb^s$ per opportuni $s \ge 0$, $c_0,..,c_s \in \{0,1,..,b-1\}$ con $c_s \neq 0$

Definizione

La sequenza $(c_sc_{s-1}..c_1c_0)_b$ è detta rappresentazione di $n$ in base $b$