Exercício 2.30. Discuta se a seguinte afirmação é correta:
“O axioma do infinito afirma a existência dos números naturais.”

Passo 1

O enunciado pede que eu discuta se a afirmação abaixo é correta:
“O axioma do infinito afirma a existência dos números naturais.”
Vou listar claramente o que a frase contém e o que preciso discutir:
  • A afirmação menciona “o axioma do infinito” (uma frase típica de teoria de conjuntos).
  • A afirmação diz que esse axioma “afirma a existência dos números naturais”.
    O objetivo é dizer se isso é verdadeiro, falso ou impreciso, e explicar por quê.

Passo 2

Vou escrever uma formulação padrão do axioma do infinito e explicar cada parte. Uma forma usual do axioma do infinito (em ZF) é:
\text{Existe }x\\ \bigl(\varnothing\in x\\ \wedge\\ \forall y\in x\,(y\cup\{y\}\in x)\bigr).
O que isso diz, em palavras simples:
  • Existe um conjunto x tal que
    • \varnothing\in x — o conjunto vazio pertence a x (este será o “zero” na construção);
    • se y pertence a x então o sucessor y\cup\{y\} também pertence a x.
      Explicação didática: o axioma garante um conjunto que contém o “zero” e é fechado sob a operação sucessor (adicionar o próprio conjunto como elemento). Tal conjunto é chamado de conjunto indutivo. Isso garante a existência de pelo menos um conjunto infinito (pois se você aplica sucessor repetidas vezes obtém infinitos elementos).

Passo 3

Como, a partir desse axioma, se constrói a ideia dos números naturais? Primeiro, define-se em teoria dos conjuntos os “números” da maneira padrão de von Neumann:
  • 0 é \varnothing.
  • O sucessor de um conjunto y é S(y)=y\cup\{y\}.
    Assim:
0=\varnothing,\quad 1=S(0)=\{\varnothing\},\quad 2=S(1)=\{\varnothing,\{\varnothing\}\},\\ \dots
Mostro passo a passo os dois primeiros:
  • 0=\varnothing.
  • 1=\varnothing\cup\{\varnothing\}=\{\varnothing\}.
  • 2=1\cup\{1\}=\{\varnothing,\{\varnothing\}\}.
    Cada “número” é um conjunto construído com a regra sucessor acima.

Passo 4

Agora: a partir do axioma do infinito (que dá um conjunto indutivo I), como obtemos o conjunto dos naturais \omega? A construção padrão é tomar a interseção de todos os subconjuntos de I que são indutivos. Formalmente, se
\mathcal{A}=\{y\subseteq I \mid \varnothing\in y\\ \wedge\\ \forall z\in y\,(z\cup\{z\}\in y)\},
então define-se
\omega=\bigcap \mathcal{A}.
Raciocínio intuitivo: \omega é o menor conjunto indutivo contido em I — contém exatamente os elementos que são forçados a estar em todo conjunto indutivo. Sobre por que isso é um conjunto: como I existe, a sua potência \mathcal{P}(I) existe (axioma do conjunto das partes) e, por esquema de separação, pode-se formar o conjunto \mathcal{A} de subconjuntos de I que são indutivos; a interseção de uma família de subconjuntos de I é um subconjunto de I definível por uma propriedade, portanto é um conjunto. (Não preciso entrar em todos os detalhes técnicos aqui, mas é suficiente saber que, em ZF, a construção é legítima.)

Passo 5

Propriedades de \omega e relação com os axiomas de Peano:
  • \varnothing\in\omega porque todo subconjunto indutivo contém \varnothing.
  • Se n\in\omega então n\cup\{n\}\in\omega porque cada conjunto indutivo é fechado por sucessor, logo a interseção também é.
  • Pode-se verificar que a operação sucessor em \omega é injetora e que \varnothing não é sucessor de nenhum elemento de \omega; com isso obtém-se os axiomas essenciais de Peano (existência de zero, fechadura do sucessor, injetividade do sucessor, princípio da indução aparece porque \omega é a menor indutiva).
    Portanto \omega comporta-se como o conjunto dos números naturais e satisfaz (em sentido técnico) as versões formais dos axiomas de Peano dentro da teoria dos conjuntos.

Passo 6

Agora volto à frase original e faço a análise fina:
  • Sentido literal: o axioma do infinito não diz "existe o conjunto chamado \mathbb{N}" em palavras humanas; diz que existe um conjunto indutivo. Então, tomado estritamente ao pé da letra, afirmar que o axioma “afirma a existência dos números naturais” é uma simplificação.
  • Sentido matemático/prático: com os demais axiomas usuais de ZF, esse axioma fornece exatamente a ferramenta necessária para construir um conjunto \omega que tem todas as propriedades que se espera dos números naturais. Logo, na prática matemática, o axioma do infinito é o que permite provar que existe um modelo (um conjunto) que podemos chamar de “os números naturais”.
    Conclusão parcial: a afirmação é verdadeira no espírito matemático (temos \omega a partir do axioma), mas é imprecisa na formulação literal.

Passo 7

Observações finais úteis (didáticas e motivacionais):
  • Algumas apresentações de axiomas simplesmente postulam a existência de um objeto chamado \omega; outras, mais conceitualmente, postulam a existência de um conjunto indutivo e derivam \omega por interseção. As duas abordagens são equivalentes em força (dentro de ZF).
  • Em outras fundações (por exemplo, teorias que já tomam \mathbb{N} primitivo), a existência dos naturais é um axioma separado; a diferença é mais de estilo formal do que de conteúdo matemático.
  • Em termos de prova de prova: se o teu objetivo na prova for justificar por que os naturais existem na teoria dos conjuntos, diz que o axioma do infinito garante um conjunto indutivo e, por interseção dos indutivos, constrói-se \omega que satisfaz os axiomas de Peano.

Resposta

A afirmação é imprecisa: o axioma do infinito não declara literalmente “existem os números naturais”, mas afirma a existência de um conjunto indutivo (um conjunto que contém \varnothing e é fechado por sucessor); a partir desse conjunto, com os axiomas de ZF, constrói‑se o conjunto \omega que representa os números naturais.

Exercícios relacionados