mismos que pueden ser considerados los números naturales en ZF, y puede llamarse formula_153.