Es posible dar una definición más rigurosa de formula_18 a partir de los números naturales, y así se ha hecho en el Apéndice A.