los axiomas de Peano (o ZFC), entonces: