Se dan por conocidos los números naturales formula_1 .