Axiomas de Peano/Definición de N