Como resolver questão do Elon: Prove que, no segundo axioma de Peano, a palavra único é redundante (admitindo-se, naturalmente, os demais axiomas).

Cara não sei se voce ainda precisa de ajuda mais segue essa linha voce pode esquever um conjunto X como X={1} U s(IN) então 1 pertence a X e como os s(n) pertencem aos sucessores de IN entao por definição de , s(n) pertence a X logo posso concluir que X = IN usado o principio da indução pois verificamos que 1 pertence a X e s(n) pertence a X  logo  todo numero n de X=IN é gerado a partir do 1 fazendo s(1), s(s(1)), .... logo 1 é evidente que o 1 é o unico natural diferente de s(n).