Truncamientos del númberu decimal b0,b1b2b3... xeneren una socesión de racionales que ye de Cauchy; d'esta manera define'l valor real del númberu.[24] Depués, según esti formalismu, la xera ye amosar que la socesión de númberos racionales