Y finalmente, el quinto axioma dice que cualquier subconjunto de formula_1 que contenga al cero y al sucesor de cualquiera de sus elementos habrá de ser forzosamente el mismo formula_1.