|
Revista Integración 2011
Recursión, inducción y órdenes bien fundadosKeywords: recursion, induction, well-founded order. Abstract: abstract. based on the characterization of the set of natural numbers by the recursion property, developed in [2], we prove in a general setting that the properties of recursion, induction and well-foundedness are equivalent for a given set. this result is extended to classes and is used to give another proof of the characterization of the set of natural numbers by recursion.
|