Quem Descreveu A Sequência Dos Números Naturais De Forma Correta

A fundação que todo mundo esquece de ler

Peano publicou os axiomas em 1889, mas o jeito como ele os apresentou não era novidade absoluta. Dedekind tinha chegado a algo muito similar dois anos antes, em 1888, e ainda assim algumas nuances importantes foram refinadas depois. A pergunta quem descreveu a sequência dos números naturais de forma correta tem uma resposta que parece simples até você entrar nos detalhes, e é aí que as coisas ficamchatas.

Quem descreveu a sequência dos números naturais de forma correta

O crédito maior vai para Giuseppe Peano, com seus cinco axiomas. Eles parecem óbvios demais para serem importantes. Eu já vi alunos dormirem durante a explicação porque "é só contar". O problema é que óbvio e rigoroso são coisas diferentes, e a história da matemática tá cheia de gente que achou que sabia o que estava fazendo até tropeçar num paradoxo. Os axiomas são basicamente assim:

• Zero é um número natural.
• Cada número natural tem um sucessor que também é natural.
• Zero não é sucessor de nenhum número natural.
• Números diferentes têm sucessores diferentes (a função sucessor é injetora).
• Se um conjunto contém zero e contém o sucessor de qualquer um dos seus elementos, então esse conjunto contém todos os naturais (princípio da indução).

Esses cinco enunciados definem completamente a estrutura dos naturais. Sem ambiguidade. Sem lacuna. O que muita gente não percebe na hora é que o quinto axioma é o mais pesado. Ele é o que garante que não existe "número natural extra" escondido fora do que a indução alcança. Sem ele, você poderia ter componentes desconectados, ciclos infinitos, qualquer coisa. A indução fecha tudo. Dedekind, por sinal, também merecia estar nessa conversa. Ele usou uma abordagem diferente, mais focada em cadeias e mapeamentos, e chegou às mesmas conclusões de forma praticamente independente. Alguns historiadores argutos vão te dizer que Dedekind foi mais preciso em certos pontos. Peano ganhou a nomes dos axiomas por convenção de mercado, não por mérito técnico superior em tudo.

O que ninguém conta sobre esses axiomas

Vou ser direto: os axiomas de Peano não dizem nada sobre operações. Eles definem a estrutura, mas não explicam soma nem multiplicação. O que você faz quando precisa provar que a adição é associativa? Constrói ela por recursão e depois prova as propriedades. Isso é trabalho. Se você tá só tentando entender a sequência 0, 1, 2, 3..., os axiomas parecem excesso. Mas se você quer fundamentar toda a aritmética a partir deles, precisa ler o artigo original ou um bom tratado de fundamentos, tipo o livro do Landau Grundlagen der Analytis, que constrói tudo passo a passo. Outra coisa que os iniciantes ignoram: existe uma diferença entre os naturais como conjunto e os naturais como estrutura ordina. Os axiomas de Peano caracterizam os naturais até isomorfismo. Isso significa que qualquer modelo que satisfaz os cinco axiomas é essencialmente o mesmo que os naturais padrão. Mas isso só vale no contexto da lógica de segunda ordem. Em lógica de primeira ordem, a coisa desandaa. Você perde a capacidade de falar sobre todos os subconjuntos, e aí aparecem modelos não-padron, com elementos infinitos e hiperfinitos que satisfazem os axiomas mas não são os naturais que você conhece. Esse é um dos motivos pra teoria dos modelos existir como campo separado.

Um problema real que eu enfrentei

Numa oportunidade recente, precisei implementar uma verificação automática de indução para uma estrutura recursiva personalizada, algo que se parecia com os naturais mas tinha algumas ramificações extras. A tentativa ingênua de aplicar o quinto axioma de Peano diretamente falhou porque o princípio de indução padrão só funciona pra subconjuntos definíveis, e minha estrutura tinha propriedade que não se encaixavam nisso. O que eu fiz foi abandonar a indução completa e usar uma versão fraca baseada em medição de profundidade recursiva, restringindo os casos que eu realmente precisava verificar. Funcionou, mas levou duas semanas pra acertar os contornos, e qualquer pessoa que tentar algo similar sem paciencia vai cair na armadilha de achar que o axioma é uma bala de prata.

Alternativas e alternativas das alternativas

Se você quer ir além de Peano, tem a teoria dos conjuntos de ZFC, onde os naturais são construídos a partir do vazio: 0 é o conjunto vazio, 1 é {0}, 2 é {0,1}, e assim por diante. Essa abordagem dá mais poder, mas também traz complicações que Peano evitava. O axioma da infinitude entra em cena, e você precisa se preocupar com paradoxa que não existem no contexto puramente aritmético dos axiomas de Peano. Se o seu objetivo é só entender a sequência, fique com Peano. Se precisa fundamentar toda a matemática, aí sim parte pra ZFC ou pra algo como a teoria de tipos homotópica, que é outra discussão. O artigo original de Peano tá disponível em várias coleções digitais. A versão em latim, Arithmetices principia nova methodo exposita, pode ser encontrada em repositórios como o da Biblioteca Digital Americana ou em arquivos acadêmicos abertos. Dedekind, Was sind und was sollen die Zahlen?, também tem versões gratuitas online. Recomendo ler os dois lado a lado, mesmo que em tradução, porque a comparação direta mostra onde cada um acertou e onde deixaram passar algo.

Ainda sobre a pergunta central: quem descreveu a sequência dos números naturais de forma correta. A resposta prática é Peano. A resposta honesta é Peano com Dedekind no banco de trás, e a resposta que você vai ouvir em aula de pós-graduação envolve pelo menos trinta minutos debatendo lógica de segunda ordem contra primeira ordem.