Exercício 2.19. Explique por que, em ZFC , os números naturais não são considerados objetos primitivos da teoria.

Passo 1

O enunciado pede que eu explique por que, dentro da teoria ZFC, os números naturais não são objetos primitivos da teoria.
Informações relevantes que o enunciado dá (e que vou usar):
  • ZFC é uma teoria cujo vocabulário e ontologia falam apenas de conjuntos e da relação de pertinência \in.
  • Axioma importante para obter naturais: o Axioma do Infinito (que garante a existência de um conjunto “indutivo”).
  • Não há, nos axiomas de ZFC, nenhum símbolo ou axioma que declare “existe um objeto chamado ‘número natural’” de forma primitiva.
O objetivo é mostrar, passo a passo, como ZFC constrói os naturais a partir de conjuntos (ou seja, por que eles são objetos definidos/construídos e não primitivos).

Passo 2

Ideia geral (sem ainda dar construção técnica): em ZFC tudo é conjunto — a única relação primitiva é \in — portanto, se quisermos “ter” os números naturais dentro de ZFC, precisamos construir um conjunto que desempenhe o papel dos naturais. Esse papel é feito por um conjunto chamado \omega (o conjunto dos naturais) que ZFC provê a partir do Axioma do Infinito e de separação/interseção. Vou mostrar exatamente como isso é feito, peça a peça, e como daí se obtêm as propriedades de Peano (ou seja, o que se espera dos naturais). Isso explica por que os naturais não são primitivos: eles são um conjunto específico construído dentro da teoria.

Passo 3

Axioma do Infinito (forma usual e explicação): ZFC contém o seguinte axioma (escrito informalmente, depois em forma matemática):
  • Existe um conjunto I que contém o conjunto vazio e é fechado sob a operação “sucessor” S(x)=x\cup\{x\}.
Em forma matemática:
\exists I\\ \big( \varnothing\in I \land \forall x\,(x\in I \Rightarrow x\cup\{x\}\in I)\big).
Explicação das partes:
  • \varnothing é o conjunto vazio (um conjunto sem elementos).
  • x\cup\{x\} é o sucessor de x; se x é um conjunto, x\cup\{x\} é o conjunto que tem todos os elementos de x e também x como elemento.
  • O axioma apenas garante a existência de algum conjunto I que contém \varnothing, S(\varnothing), S(S(\varnothing)), … — isto é, um conjunto com uma sequência infinita de sucessores.

Passo 4

Construção do conjunto dos naturais \omega a partir do Axioma do Infinito: definição do menor conjunto indutivo.
  1. Axiomamente temos um conjunto indutivo I (pelo passo anterior). Consideramos todos os subconjuntos de I que também são indutivos. Usando o Axioma do Conjunto das Partes e o Esquema da Compreensão (Separation), formamos o conjunto
\mathcal{X}=\{S\subseteq I \mid \varnothing\in S \land \forall x\in S\,(x\cup\{x\}\in S)\}.
  1. Como \mathcal{X} é um conjunto (é um subconjunto da potência \mathcal{P}(I)), podemos tomar a interseção de todos os seus membros; isto é um conjunto porque a interseção de um conjunto de conjuntos existe (pode ser definida por compreensão a partir da união). Definimos
\omega := \bigcap \mathcal{X}.
  1. Propriedades imediatas de \omega:
  • \omega é indutivo (pois é interseção de conjuntos indutivos), logo \varnothing\in\omega e \forall x\in\omega\,(x\cup\{x\}\in\omega).
  • \omega é o menor conjunto indutivo: todo conjunto indutivo contém \omega.
Comentário didático: assim \omega é o candidato natural a ser “o conjunto dos números naturais” dentro de ZFC: ele contém \varnothing, seu sucessor, o sucessor do sucessor etc., e não contém nada além do necessário (menor indutivo).

Passo 5

Construção concreta dos números como conjuntos: os naturais de von Neumann.
  • Define-se \,0 := \varnothing.
  • Para qualquer n já construído, define-se o sucessor
S(n) := n\cup\{n\}.
  • Iterando: 1 = S(0)=\{\varnothing\}, 2 = S(1)=\{\varnothing,\{\varnothing\}\}, e em geral cada natural n é o conjunto de todos os naturais menores do que ele:
n = \{0,1,2,\dots,n-1\}.
Explicação: assim cada natural é um conjunto finito, e o sucessor acrescenta o número anterior como elemento. Essa é uma construção padrão (os naturais como ordinais finitos — ordinais de von Neumann).

Passo 6

Mostrando que \omega com o sucessor definido satisfaz as propriedades de Peano (esquema de como provar cada item, em linguagem acessível):
  1. Existência de 0: por construção 0=\varnothing\in\omega.
  2. Fechamento pelo sucessor: se n\in\omega então S(n)=n\cup\{n\}\in\omega, porque \omega é indutivo.
  3. 0 não é sucessor de ninguém: nenhum conjunto é igual a \varnothing unido com algo, pois \varnothing não tem elementos; formalmente, se S(x)=\varnothing então \varnothing teria um elemento x, contradição. Então não existe x tal que S(x)=0.
  4. Sucessor é injetor: suponha S(m)=S(n). Pelo modelo de von Neumann, S(m)=\{0,1,\dots,m\} e S(n)=\{0,1,\dots,n\}. Se esses conjuntos são iguais então necessariamente m=n (porque o maior elemento de \{0,\dots,m\} é m, e igualdade de conjuntos obriga os maiores a coincidir). Uma maneira simples de ver: m\in S(m)=S(n), logo m\le n; idem n\le m; logo m=n. Isto prova injetividade do sucessor.
  5. Indução: seja A\subseteq\omega tal que 0\in A e \forall n\in A\,(S(n)\in A). Então A é um conjunto indutivo contido em \omega; pela minimalidade de \omega (é a interseção de todos os indutivos) segue \omega\subseteq A, portanto A=\omega. Isso é exatamente o princípio da indução: qualquer propriedade verdadeira em 0 e fechada por sucessor vale para todos os elementos de \omega.
Comentário didático: esses passos mostram que todas as axiomas de Peano (ou pelo menos as versões usuais: existência de 0, sucessor injetor, 0 não é sucessor, e princípio da indução) são teoremas dentro de ZFC aplicados ao conjunto \omega e à definição de sucessor acima. Logo, ZFC não precisa postular Peano como axiomas primitivos: eles são dedutíveis.

Passo 7

Consequência e por que isso responde à pergunta original (linguagem clara e amigável):
  • Em ZFC o vocabulário primitivo é formado por conjuntos e pela relação \in. Não existe símbolo primitivo que denote “número natural”.
  • Axiomáticamente, ZFC não exige um objeto primitivo chamado “natural”; em vez disso, o Axioma do Infinito garante um conjunto indutivo e, a partir dele, constrói-se um conjunto particular \omega que desempenha o papel dos naturais — usando apenas axiomas gerais de conjuntos (potência, separação, extensionalidade, etc.).
  • As propriedades que esperamos dos naturais (Peano) tornam‑se teoremas sobre \omega. Portanto, os naturais são objetos construídos (definidos) dentro da teoria, não primitivamente assumidos.
Observação adicional (sobre unicidade até isomorfismo): qualquer outra construção satisfazendo os axiomas de Peano é única até isomorfismo (a clássica categorização dos modelos de Peano), de modo que, embora a implementação concreta dos naturais em ZFC seja uma escolha (por exemplo, poderia usar outra codificação), todas as escolhas “verdadeiras” dos naturais são equivalentes estruturalmente. Isso explica por que não há perda prática em definí‑los como conjuntos: obtemos o mesmo comportamento.

Passo 8

Resumo final e motivacional (curto e encorajador): a razão fundamental é ontológica e metodológica: ZFC assume só conjuntos; números naturais surgem como um conjunto especial \omega construído a partir do Axioma do Infinito e demais axiomas. Logo, não são primitivos — são definidos — e todas as propriedades que se espera deles são demonstráveis dentro da teoria. Isso é bom: dá uma base unificada (tudo é conjunto) e permite importar a teoria dos números para o universo de ZFC sem ampliar o vocabulário primitivo.

Resposta

Porque a ontologia de ZFC tem apenas conjuntos e a relação \in como primitiva; o Axioma do Infinito garante um conjunto indutivo e, tomando a interseção de todos os subconjuntos indutivos, obtém‑se o conjunto \omega (os naturais) cujos elementos são definidos como 0=\varnothing e S(n)=n\cup\{n\}. As propriedades de Peano (existência de 0, fechamento por sucessor, 0 não ser sucessor, injetividade do sucessor e o princípio da indução) são teoremas sobre \omega em ZFC. Portanto os números naturais são construídos dentro da teoria a partir de conjuntos, não objetos primitivos.