El cuarto axioma dice que dos números naturales distintos tienen sucesores distintos.