Exercício 2.33. Explique, de forma sintética, a afirmação:
“Em ZFC, os números naturais não são axiomas, mas objetos definidos cuja existência depende de um axioma específico.”

Passo 1

O enunciado pede que eu explique, de forma sintética, a afirmação:
“Em ZFC, os números naturais não são axiomas, mas objetos definidos cuja existência depende de um axioma específico.”
Informações importantes a explicitar:
  • O que significa “não são axiomas” versus “são objetos definidos”.
  • Qual é o “axioma específico” do qual a existência dos naturais depende.
  • Como, concretamente, dentro de ZFC, se constrói/define o conjunto dos naturais.

Passo 2

O que significa construir os naturais em ZFC — ideia geral (sem fórmulas ainda).
  • Em ZFC não se assume à partida um símbolo primitivo chamado “0” ou “N” com regras; em vez disso, provam-se que existem certos conjuntos que se comportam como os naturais.
  • Um “número natural” em ZFC é um conjunto particular (não um axioma): por exemplo, 0 é definido como o conjunto vazio, 1 como o conjunto que contém o vazio, etc. Esses conjuntos são objetos no universo de ZFC.

Passo 3

Como se define zero e o sucessor (construção padrão: ordinais de von Neumann).
  • Define-se
0:=\varnothing.
  • O sucessor de um conjunto x é
S(x):=x\cup\{x\}.
  • Com essa definição temos as primeiras naturais como
0=\varnothing,\quad 1=S(0)=\{\varnothing\},\quad 2=S(1)=\{\varnothing,\{\varnothing\}\},\\ \text{etc.}
Essa é a construção padrão que torna cada número natural igual ao conjunto de seus predecessores.

Passo 4

O que é um conjunto indutivo e qual é o enunciado formal do axioma que garante naturais.
  • Dizemos que um conjunto I é indutivo se
\varnothing\in I\quad\text{e}\quad\forall x\in I\\ (S(x)\in I).
  • O Axioma do Infinito (o “axioma específico” mencionado) afirma exatamente:
\exists I\\ (\varnothing\in I\\ \wedge\\ \forall x\in I\\ (S(x)\in I)).
Ou seja, existe pelo menos um conjunto indutivo. Sem esse axioma não se pode provar, em ZF, que exista um conjunto infinito.

Passo 5

Definição do conjunto dos naturais \omega dentro de ZFC e por que existe.
  • Uma vez que o Axioma do Infinito garante a existência de algum conjunto indutivo I_0, define-se
\omega:=\bigcap\{I:\\ I\\ \text{é indutivo}\}.é
  • A interseção de todos os conjuntos indutivos é ela própria indutiva e é o menor conjunto indutivo. Como havia pelo menos um conjunto indutivo (pelo axioma), essa interseção existe e contém exatamente os objetos que vamos chamar de números naturais.

Passo 6

Por que \omega satisfaz as propriedades esperadas dos naturais (esboço).
  • Pela construção: \varnothing\in\omega e \forall x\in\omega\\ (S(x)\in\omega), portanto \omega é fechado por sucessor.
  • A definição como menor conjunto indutivo dá a forma da indução: se X\subseteq\omega contém \varnothing e é fechado por sucessor então X=\omega. Essa é a versão set-theoretic do princípio de indução.
  • A partir dessas propriedades é possível derivar, dentro de ZFC, as fórmulas que correspondem aos axiomas de Peano (existência de 0, sucessor injetor, 0 não é sucessor de ninguém, e o princípio da indução).

Passo 7

Conclusão: por que a afirmação original é correta e o que muda se não tivermos o Axioma do Infinito.
  • Portanto, em ZFC os números naturais são objetos construídos: \omega é um conjunto definido em termos de \varnothing, da operação S e da interseção de todos os conjuntos indutivos.
  • A existência de \omega depende precisamente do Axioma do Infinito: sem ele ZF não prova que exista um conjunto indutivo, logo não prova que exista \omega. Logo, os naturais não são assumidos como axioma; é o axioma do Infinito que assegura que eles existam como conjuntos.
  • Em outras palavras: axiomas são sentenças (como o Axioma do Infinito); os números naturais em ZFC são conjuntos que se obtêm como consequência — objetos definidos cuja existência é garantida por aquele axioma.

Passo 8

Observação prática e encorajamento rápido (tom amigo).
  • Se te pedirem na prova: cite o Axioma do Infinito, escreva a definição \omega=\bigcap\{I:\\ I\\ \text{indutivo}\}, e explique em duas linhas que daí se obtém o princípio da indução e os demais fatos formais sobre \mathbb{N}. Isso já resolve a questão com clareza.
  • Força aí — é um ponto conceitual muito comum nas provas e com essa cadeia (infinito ⇒ conjunto indutivo ⇒ \omega ⇒ Peano) você resolve tranquilo.

Resposta

A existência dos números naturais em ZFC não é postulado diretamente; em vez disso o Axioma do Infinito afirma que existe um conjunto indutivo \bigl(\exists I\\ (\varnothing\in I\land\forall x\in I\\ S(x)\in I)\bigr), e define-se então
\omega:=\bigcap\{I:\\ I\\ \text{é indutivo}\},é
que é o menor conjunto indutivo. Os elementos de \omega (construídos por 0:=\varnothing e S(x)=x\cup\{x\}) são os números naturais; assim os naturais são objetos definidos dentro da teoria, cuja existência depende do Axioma do Infinito.

Exercícios relacionados