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.”

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:
  • 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 \omega (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 \omega.\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 I que é indutivo: contém o vazio e, sempre que contém um elemento x, também contém o sucessor de x. Em símbolos (forma informal, traduzida para ideia):
\text{existe } I\text{ tal que } \varnothing\in I \text{ e } \forall x\,(x\in I \Rightarrow x\cup\{x\}\in I).
A partir desse axioma, dentro de ZFC define-se o conjunto \omega como a interseção de todos os subconjuntos de I que são indutivos. Ou seja, \omega é o menor conjunto indutivo (menor pelo critério de inclusão). Formalmente,
\omega = \bigcap\{X\subseteq I \mid \varnothing\in X \text{ e } \forall x\in X\,(x\cup\{x\}\in X)\}.
Esse \omega 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 \varnothing 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:
0 := \varnothing, \qquad \text{Sucessor de }x:\\ S(x) := x\cup\{x\}.
Então
1 = S(0) = \{\varnothing\},\quad 2 = S(1) = \{\varnothing,\{\varnothing\}\},\\ \text{etc.}
Com essa definição, \omega contém exatamente esses conjuntos (pelo modo como foi definido). Assim ZFC fornece um conjunto concreto \omega e um operador sucessor S definidos internamente.

Passo 4

Os axiomas de Peano (forma formalizável em teoria dos conjuntos) e verificação em \omega.\n
Vou escrever os axiomas na forma usual (primeira ordem) e explicar por que \omega satisfaz cada um:
Axiomas (forma esquemática):
  1. 0 não é sucessor de nenhum elemento:
\forall x\; S(x)\neq 0.
  1. S é injetor:
\forall x\forall y\; (S(x)=S(y)\Rightarrow x=y).
  1. Indução (esquema ou forma apropriada): para qualquer propriedade P (ou para qualquer subconjunto X\subseteq\omega na linguagem de conjuntos), se 0\in X e \forall x\in X\,(S(x)\in X) então X=\omega.
\forall X\left[(0\in X\wedge \forall x\in X\,S(x)\in X)\Rightarrow X=\omega\right].
Por que \omega satisfaz cada axioma:
  • O fato de 0 não ser sucessor vem da definição 0=\varnothing e da forma do sucessor S(x)=x\cup\{x\}, que sempre contém x como elemento, enquanto \varnothing não contém elementos.
  • A injetividade de S na construção de von Neumann é fácil: se x\cup\{x\}=y\cup\{y\} então, olhando elementos, conclui-se x=y (detalhe mecânico: x\in S(x) mas x\notin S(y) se x\neq y, etc.; pode-se formalizar em ZFC).
  • A propriedade de indução é direta porque \omega foi definida como a interseção de todos os conjuntos indutivos: qualquer X\subseteq\omega que seja indutivo deve conter \omega por minimalidade, e então X=\omega. Em outras palavras, \omega é, por construção, o menor conjunto que satisfaz a regra de sucessor e contém 0, logo satisfaz o esquema de indução.
    Portanto, dentro de ZFC, a estrutura (\omega,0,S) satisfaz 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:
  • 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 \omega satisfaz o esquema de indução para todo subconjunto X\subseteq\omega que seja um conjunto em ZFC. Assim, na prática formalizada em ZFC, \omega 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 concreto \omega que 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:
  1. Quando se diz “ZFC constrói um modelo”, isso é uma afirmação feita dentro da matemática: ZFC demonstra que existe um conjunto \omega 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”.
  2. 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 \omega é, visto do mundo externo, countable, etc.). Essas são ressalvas metamatemáticas, não negação do fato técnico de que ZFC fornece \omega.

Passo 7

Conclusão direta e forma curta da análise (resumindo em linguagem amiga).\n
  • Tecnicamente: é correto dizer que ZFC define um conjunto \omega (via axioma do infinito e interseção de conjuntos indutivos) e que a estrutura (\omega,0,S) 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 \omega (via axioma do infinito) e prova que (\omega,0,S) 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.

Exercícios relacionados