Exercício 2.28. Analise as afirmações:
2. “Os números naturais existem porque ZFC constrói um modelo que satisfaz os axiomas de Peano.”
2. “Os números naturais existem porque ZFC constrói um modelo que satisfaz os axiomas de Peano.”
Passo 1
Enunciado a analisar (copiado exatamente): “Os números naturais existem porque ZFC constrói um modelo que satisfaz os axiomas de Peano.”\n
O que a afirmação pergunta/afirma e o que vou precisar checar:
O que a afirmação pergunta/afirma e o que vou precisar checar:
- Ela afirma que a existência dos números naturais decorre do fato de que a teoria ZFC “constrói um modelo” que satisfaz os axiomas de Peano.
- Preciso separar várias ideias que estão misturadas aí: (i) o que ZFC afirma/garante sobre conjuntos que representam naturais; (ii) o que são “os axiomas de Peano” (em primeira e em segunda ordem); (iii) o que significa “construir um modelo” e se ZFC de fato fornece esse modelo; (iv) se isso responde à questão da “existência” dos naturais de modo absoluto ou apenas relativo a ZFC.
- Dados relevantes que usarei: o axioma do infinito de ZFC, a construção de
(conjunto dos naturais na construção de von Neumann), a definição de sucessor, e as formas usuais dos axiomas de Peano (principalmente na sua forma formalizável em teoria de conjuntos).
Passo 2
O que ZFC garante: o axioma do infinito e a definição de
.\n
Vou explicar isso devagar, com calma e sem pular passos. Primeiro, o axioma do infinito em ZFC (em linguagem informal) diz essencialmente que existe um conjunto que é indutivo: contém o vazio e, sempre que contém um elemento
, também contém o sucessor de
. Em símbolos (forma informal, traduzida para ideia):
Vou explicar isso devagar, com calma e sem pular passos. Primeiro, o axioma do infinito em ZFC (em linguagem informal) diz essencialmente que existe um conjunto
A partir desse axioma, dentro de ZFC define-se o conjunto
como a interseção de todos os subconjuntos de
que são indutivos. Ou seja,
é o menor conjunto indutivo (menor pelo critério de inclusão). Formalmente,
Esse
existe em ZFC (a interseção de uma família de conjuntos é um conjunto por axioma de separação/união apropriado) e tem as propriedades esperadas: contém
e é fechado por sucessor.
Passo 3
Como representar numerais e sucessor: a construção de von Neumann.\n
Na construção padrão usa-se:
Na construção padrão usa-se:
Então
Com essa definição,
contém exatamente esses conjuntos (pelo modo como foi definido). Assim ZFC fornece um conjunto concreto
e um operador sucessor
definidos internamente.
Passo 4
Os axiomas de Peano (forma formalizável em teoria dos conjuntos) e verificação em
.\n
Vou escrever os axiomas na forma usual (primeira ordem) e explicar por que satisfaz cada um:
Axiomas (forma esquemática):
Vou escrever os axiomas na forma usual (primeira ordem) e explicar por que
Axiomas (forma esquemática):
-
não é sucessor de nenhum elemento:
-
é injetor:
- Indução (esquema ou forma apropriada): para qualquer propriedade
(ou para qualquer subconjunto na linguagem de conjuntos), se e então .
Por que
satisfaz cada axioma:
- O fato de
não ser sucessor vem da definição e da forma do sucessor , que sempre contém como elemento, enquanto não contém elementos. - A injetividade de
na construção de von Neumann é fácil: se então, olhando elementos, conclui-se (detalhe mecânico: mas se , etc.; pode-se formalizar em ZFC). - A propriedade de indução é direta porque
foi definida como a interseção de todos os conjuntos indutivos: qualquer que seja indutivo deve conter por minimalidade, e então . Em outras palavras, é, por construção, o menor conjunto que satisfaz a regra de sucessor e contém , logo satisfaz o esquema de indução.
Portanto, dentro de ZFC, a estruturasatisfaz os axiomas de Peano formulados na linguagem de conjuntos (i.e., a forma de primeira ordem apropriada).
Passo 5
Diferença entre Peano em primeira ordem e em segunda ordem; categoricidade e modelos não padronizados.\n
É importante entender uma distinção técnica que aparece frequentemente:
É importante entender uma distinção técnica que aparece frequentemente:
- As versões de Peano em primeira ordem (aquelas que formam a teoria chamada PA) não são categóricas: existem modelos não padrões (modelos que contêm “elementos infinitamente grandes”). Isso é um resultado lógico clássico — pela não-categorialidade, ter um conjunto que satisfaça os axiomas de Peano em primeira ordem não impede a existência de outros modelos “não-padrão”.
- As versões em segunda ordem, usando quantificação sobre todas as propriedades/subconjuntos (sem formalizar isso como conjuntos de uma teoria de conjuntos), têm uma versão “categorical”: qualquer modelo que satisfaça os axiomas de Peano em plena segunda ordem é isomorfo ao modelo padrão dos naturais. Porém, o “pleno significado” de quantificação de segunda ordem depende de uma noção semântica de “todas as propriedades”, que não é formalizável internamente numa teoria de primeira ordem sem escolha de uma semântica.
Como se encaixa com ZFC? - Dentro de ZFC podemos expressar e provar que
satisfaz o esquema de indução para todo subconjunto que seja um conjunto em ZFC. Assim, na prática formalizada em ZFC, satisfaz a versão forte de indução tal como aparece em muitas formalizações de Peano. No entanto, quando alguém fala em “segunda ordem plena” geralmente está falando de semântica externa (não formalizada apenas como conjuntos dentro de outra teoria); aí surgem nuances sobre “o que exatamente significa quantificar sobre todas as propriedades”.
Resumo prático: ZFC dá um modelo concretoque satisfaz os axiomas de Peano na forma que se pode expressar em teoria de conjuntos.
Passo 6
Sutilezas metamatemáticas: “existência” é relativa à aceitação da ZFC; consistência e incompletude.\n
Duas observações cruciais que muitas vezes confundem quem está começando:
Duas observações cruciais que muitas vezes confundem quem está começando:
- Quando se diz “ZFC constrói um modelo”, isso é uma afirmação feita dentro da matemática: ZFC demonstra que existe um conjunto
com tais propriedades. Essa é uma existência interna à teoria. Se alguém aceitou ZFC como verdadeira, então, sim, os naturais existem (no sentido de que ZFC garante sua existência). Mas essa é uma existência relativa: se alguém não aceita ZFC (ou se ZFC for inconsistente), a conclusão é questionável. Em particular, se ZFC fosse inconsistente então tudo seria demonstrável — por isso costuma-se falar de existência “assumindo que ZFC é consistente”. - Gödel e metateoremas relacionados: ZFC, sendo muito mais forte que PA, normalmente pode provar a consistência de PA e pode construir um modelo de PA (isto é, ZFC pode demonstrar “existe um modelo de PA”). Porém, por teoremas de incompletude de Gödel, ZFC não pode provar sua própria consistência (se for consistente) nem transformá-la em uma certeza absoluta para quem não aceita seus axiomas. Além disso, por fenômenos como o paradoxo de Skolem/Löwenheim–Skolem, modelos de ZFC vistos externamente podem ter comportamentos surpreendentes (por exemplo, um modelo de ZFC contável externamente em que o conjunto que ele chama de
é, visto do mundo externo, countable, etc.). Essas são ressalvas metamatemáticas, não negação do fato técnico de que ZFC fornece .
Passo 7
Conclusão direta e forma curta da análise (resumindo em linguagem amiga).\n
- Tecnicamente: é correto dizer que ZFC define um conjunto
(via axioma do infinito e interseção de conjuntos indutivos) e que a estrutura satisfaz os axiomas de Peano expressáveis em teoria dos conjuntos. Logo, dentro de ZFC existe um “modelo dos números naturais”. - Filosoficamente/praticamente: dizer que “os números naturais existem porque ZFC constrói um modelo” é aceitável desde que se entenda que essa existência é relativa à aceitação dos axiomas de ZFC e que há diferenças entre as várias formalizações dos axiomas de Peano (1ª ordem vs 2ª ordem) e entre existência dentro de uma teoria e existência absoluta metafísica.
- Em linguagem direta e curta: a afirmação está essencialmente correta, mas precisa das ressalvas que expliquei acima.
Resposta
Verdadeiro, com ressalvas: assumindo ZFC, ela define o conjunto
(via axioma do infinito) e prova que
satisfaz os axiomas de Peano formalizáveis em teoria dos conjuntos; porém essa “existência” é relativa à aceitação/consistência de ZFC e há sutilezas sobre primeira versus segunda ordem e sobre modelos não padronizados.