Exercício 2.28. Analise as afirmações:
- “Os números naturais existem porque os axiomas de Peano os postulam.”
Passo 1
O enunciado pede que eu analise a afirmação: “Os números naturais existem porque os axiomas de Peano os postulam.”
Informações dadas: é apenas essa frase — nenhuma outra hipótese foi fornecida.
O que é pedido: avaliar se a frase é correta, incorreta ou precisa de nuance, e explicar por quê.
Informações dadas: é apenas essa frase — nenhuma outra hipótese foi fornecida.
O que é pedido: avaliar se a frase é correta, incorreta ou precisa de nuance, e explicar por quê.
Passo 2
Primeiro precisamos combinar o que significa “existem” em matemática. Há duas leituras comuns:
- Leitura ontológica/filosófica: “existem” quer dizer que os números naturais são objetos reais, independentes da teoria (Platonismo); isso é uma questão filosófica, não puramente técnica.
- Leitura formal/model‑teórica: “existem” quer dizer que existe um modelo (uma interpretação) que satisfaz os axiomas — isto é, que as sentenças axiômaticas têm uma estrutura que as torna verdadeiras.
Na prática matemática formal a segunda leitura é a que usamos para decidir “existência”: um sistema axiomatizado tem existência se houver um modelo que satisfaça esses axiomas.
Passo 3
Agora vamos lembrar, de forma simples, quais são os axiomas de Peano (forma intuitiva). Eles falam de um elemento especial
e de um operador sucessor
:
- Existe um elemento chamado
. - Para todo
, é um natural. - Não existe
tal que . - Se
então (sucessor é injetor). - (Indução) Se um conjunto contém
e é fechado por sucessor então contém todos os naturais.
Obs.: em lógica de segunda ordem a indução é expressa como uma única fórmula que quantifica sobre todas as propriedades; em lógica de primeira ordem a indução aparece como um esquema (uma fórmula de indução para cada propriedade definível).
Passo 4
O papel dos axiomas é descrever uma estrutura que chamamos de “modelo dos naturais”. Dizer que “os axiomas postulam os naturais” é ambíguo: os axiomas explicam que propriedades os naturais devem ter, mas não são, por si só, uma prova técnica de existência — para provar existência precisamos mostrar que existe alguma estrutura concreta que satisfaça essas afirmações. Em termos técnicos: axiomas descrevem propriedades; existência formal = existência de um modelo que satisfaz essas propriedades.
Passo 5
Diferença importante entre primeira e segunda ordem:
- Em lógica de segunda ordem, com semântica plena (quantificação sobre todos os subconjuntos), os axiomas de Peano são categóricos: qualquer dois modelos que satisfaçam todos os axiomas são isomorfos. Isso significa que, sob essa leitura, os axiomas caracterizam a “única” estrutura dos naturais (até isomorfismo). Assim, se se aceita a semântica plena da segunda ordem, pode‑se dizer que os axiomas “capturam” os naturais de forma única — e a questão da existência se reduz a aceitar a própria semântica ou dar um modelo.
- Em lógica de primeira ordem (como na Aritmética de Peano, PA), os axiomas não são categóricos: pela compacidade e pelos teoremas de Löwenheim‑Skolem existem modelos não padronizados (modelos “não‑padrão”) que contêm elementos além dos naturais usuais. Portanto, em primeira ordem os axiomas sozinhos não fixam unicamente os naturais; eles permitem vários modelos, alguns contendo cópias dos naturais e “elementos extras”.
Passo 6
Como se prova existência (concretamente)? Um método padrão é construir um modelo dentro de uma teoria de conjuntos (por exemplo ZF). Exemplo concreto e bem sabido:
- Definir
e o sucessor por (construção de Von Neumann). - Mostrar que as definições acima satisfazem todas as propriedades dos axiomas de Peano dentro de ZF.
Assim, se ZF for consistente, então existe um modelo que satisfaz os axiomas de Peano — logo, na leitura formal, os naturais “existem” porque encontramos um modelo que os realiza. Isso mostra que os axiomas não “criam” números do nada; eles podem ser satisfeitos por uma construção concreta.
Passo 7
Conexão com consistência e os teoremas de completude/incompletude:
- Pelo Teorema da Completude de Gödel (lógica de primeira ordem): um conjunto de sentenças tem um modelo exatamente quando é consistente (não deriva uma contradição). Então a existência de modelos dos axiomas de Peano (em primeira ordem) é equivalente à consistência desses axiomas.
- Pelo segundo teorema de Incompletude, PA não pode provar a sua própria consistência (se for consistente). Logo, dentro de PA não se pode demonstrar completamente que “existe um modelo” — precisa‑se recorrer a uma teoria mais forte (por exemplo ZF) para construir um modelo e provar existência.
Passo 8
Interpretação filosófica curta (para entender o que a frase está sugerindo):
- Um formalista diria: os axiomas fornecem as regras do jogo; falar que “os naturais existem” significa que o jogo é jogável — isto é, há modelos que satisfazem as regras.
- Um platônico diria: os naturais existem independentemente e os axiomas apenas descrevem essa realidade.
Ambas visões são consistentes com a matemática prática; a frase original mistura essas camadas sem distinguir.
Passo 9
A afirmação como está é imprecisa. Correção sucinta e correta:
- Os axiomas de Peano não “criam” números por si só; eles especificam as propriedades que uma coleção deve ter para ser considerada os naturais.
- A existência formal dos naturais corresponde a haver um modelo que satisfaça esses axiomas — e tal modelo pode ser construído, por exemplo, na teoria de conjuntos (Von Neumann), desde que se aceite a consistência dessa teoria.
- Em segunda ordem com semântica plena os axiomas caracterizam a estrutura dos naturais de forma única (categóricos); em primeira ordem os axiomas permitem modelos não‑padrão, então não fixam “o” conjunto dos naturais de maneira única.
Resposta
A afirmação é imprecisa/enganosa: os axiomas de Peano descrevem as propriedades que os naturais devem ter, mas a “existência” formal exige um modelo que satisfaça esses axiomas (que pode ser construído, por exemplo, em teoria dos conjuntos); em lógica de segunda ordem os axiomas são categóricos (caracterizam os naturais até isomorfismo), enquanto em primeira ordem eles admitem modelos não‑padrão, portanto não “provam” a existência única dos naturais sem uma escolha de semântica ou de uma teoria de base.