La coinducción matemática en la construcción de los números reales