Diremos que un conjunto ordinal formula_187 es un número natural si se cumple que para cada formula_188, o bien es formula_189 o bien es formula_190 es un ordinal sucesor.