sexta-feira, 11 de novembro de 2011

Embassy Row Hotel, Washington DC
O número 1 é o sucessor do número 0!

Hoje, as 11:11 do dia 11/11/11, a unicidade do número 1 será comemorada com a leitura dos axiomas de Peano sob a sombra do monumento a Washington.



  • 1. Existe um número natural 0;
  • 2. Todo número n tem um sucessor n' no conjunto dos números naturais (\mathbb{N})
  • 3. Não existe nenhum número natural que tenha como sucessor o número 0;
  • 4. Se n e m forem números naturais, e se n'=m' então n=m ;
  • 5. Se 0 tem uma propriedade e esta propriedade também é possuida pelo sucessor de todos os números naturais que a possuem, então ela é possuída por todos os números naturais.

Um comentário:

Humberto disse...

Salve, Peano! E todos seus sucessores também!