El conjunto de números reales computables se designa por formula_16.