Exercício 2.32. Discuta criticamente a afirmação:
“A construção de von Neumann mostra que os números naturais são conjuntos.”

Passo 1

O enunciado pede uma discussão crítica da afirmação: “A construção de von Neumann mostra que os números naturais são conjuntos.”
Informações relevantes que temos (fornecidas pelo enunciado ou necessárias para começar):
  • Existe a “construção de von Neumann” (não foram dados detalhes no enunciado).
  • A afirmação liga essa construção a uma conclusão ontológica: que “os números naturais são conjuntos”.
    O objetivo é avaliar se essa conclusão é correta, em que sentido ela é correta, em que sentido é problemática ou enganosa, e por quê.

Passo 2

Apresentar explicitamente a construção de von Neumann (exemplos e definição).
Definição canônica (von Neumann): o número natural zero é o conjunto vazio e cada sucessor é formado por união com o singleton do próprio conjunto. Em símbolos:
0 := \varnothing, \qquad S(x) := x \cup \{x\}.
A partir disso, definem-se os primeiros naturais:
0 = \varnothing,
1 = S(0) = \varnothing \cup \{\varnothing\} = \{\varnothing\},
2 = S(1) = \{\varnothing\} \cup \{\{\varnothing\}\} = \{\varnothing,\{\varnothing\}\},
3 = S(2) = \{\varnothing,\{\varnothing\}\} \cup \{\{\varnothing,\{\varnothing\}\}\} = \{\varnothing,\{\varnothing\},\{\varnothing,\{\varnothing\}\}\},
e assim por diante. Em geral, cada número natural n é o conjunto de todos os seus predecessores:
n = \{0,1,\dots,n-1\}.
Uma consequência simples e útil: para m,n\in\mathbb{N} construídos assim,
m\in n \quad\text{se, e somente se,}\quad m<n.
Isso mostra que a relação de pertinência entre esses conjuntos codifica a ordem usual dos naturais.

Passo 3

Mostrar que essa construção fornece um modelo que satisfaz os axiomas de Peano (esquema de maneira didática). Vou listar os axiomas de Peano em forma intuitiva e indicar como são verificados por \omega (o conjunto dos ordinais finitos von Neumann):
  • Axioma P1: Existe um elemento 0.
    Aqui 0=\varnothing é um conjunto e pertence a \omega.
  • Axioma P2: O sucessor de um natural é outro natural (fechamento).
    Se n\in\omega então S(n)=n\cup\{n\} também está em \omega (essa é a construção de ordinais finitos).
  • Axioma P3: 0 não é sucessor de nenhum natural.
    Não existe n tal que S(n)=\varnothing, pois S(n) sempre contém n como elemento, enquanto \varnothing não contém nada.
  • Axioma P4: Sucessores distintos têm predecessores distintos (injeção do sucessor).
    Se S(m)=S(n) então m=n. Raciocínio: m\in S(m)=S(n) portanto m\in S(n)=n\cup\{n\}; logo m=n ou m\in n. Simetricamente n\in m ou n=m. Pela irreflexividade da relação < entre naturais finitos (não há ciclos), concluímos m=n. (Formalmente, pode-se provar por indução.)
  • Axioma P5 (Indução): Qualquer subconjunto X\subseteq\omega que contenha 0 e seja fechado por sucessor contém todos os naturais.
    Em teoria dos conjuntos, \omega é definido como a interseção de todos os conjuntos “indutivos” (conjuntos que contêm 0 e fecham sob sucessor), daí a propriedade de indução é imediata.
Portanto, a coleção \omega dos ordinais finitos von Neumann, com 0 e a operação S, forma um modelo dos axiomas de Peano. Em palavras: dentro de ZF (teoria de conjuntos), existe um conjunto que se comporta exatamente como os naturais devem se comportar segundo Peano.

Passo 4

Explicar o sentido matemático em que “os números naturais são conjuntos” é correto.
  • Dentro da teoria dos conjuntos ZF, tudo é conjunto por definição do formalismo; então construir \mathbb{N} como \omega\subseteq V e dar uma definição explícita para cada n significa que, no formalismo ZF, cada natural é (identificado a) um conjunto. Logo, no contexto formal de ZF, afirmar “os naturais são conjuntos” é correto: há uma representação canônica que satisfaz as propriedades aritméticas desejadas.
  • A construção de von Neumann é especialmente conveniente porque codifica a ordem pela relação de pertinência e faz n=\{0,\dots,n-1\}, o que simplifica muitas provas formais (por exemplo, n\subseteq m se e só se n\le m).

Passo 5

Apontar limitações e por que a afirmação pode ser enganosa ou incompleta (aspecto crítico).
  • Representação versus identidade ontológica: a construção mostra que há um modelo “feito de conjuntos” que realiza a estrutura dos naturais. Mas isso não prova, em sentido metafísico ou filosófico, que os números naturais “são” conjuntos no mundo real — mostra apenas que existe uma representação satisfatória dentro de ZF. A diferença entre “pode ser modelado como” e “é essencialmente” algo é importante.
  • Não é a única construção possível: existem outras maneiras de representar naturais como conjuntos, por exemplo os numerais de Zermelo: 0:=\varnothing,\quad 1:=\{\varnothing\},\quad 2:=\{\{\varnothing\}\},\\ \ldotsEsses objetos não são iguais termo a termo aos ordinais de von Neumann, mas há um isomorfismo natural entre qualquer modelo que satisfaça os axiomas de Peano (quando se usa uma versão categórica dos axiomas). Assim, a escolha de von Neumann é canônica e conveniente, mas arbitrária do ponto de vista de "qual conjunto concreto representa o número 2".
  • Dependência da teoria de fundo: afirmar que “os naturais são conjuntos” faz sentido apenas dentro de uma teoria na qual tudo é conjunto (como ZF). Em outros fundamentos (por exemplo, teorias de tipos, algumas versões de teoria construtiva, ou abordagens platonistas sem compromisso com conjuntos), pode-se tratar naturais como objetos primitivos ou de outra natureza.
  • Questão da categorização: na forma de primeira ordem, os axiomas de Peano não são categóricos — existem modelos não padronizados (modelos não padrão de PA). A construção de von Neumann fornece o modelo padrão em ZF, mas a existência de não padrão em lógica de primeira ordem destaca que “satisfazer os axiomas” não determina unicamente a identidade dos elementos, a menos que se trabalhe com axiomas de segunda ordem ou se escolha um modelo na teoria de conjuntos.
  • O que “mostra” formalmente: a construção não explica por que a aritmética funciona; ela apenas fornece uma implementação dentro de ZF. A verificação de propriedades aritméticas passa a ser uma verificação de teoremas em ZF sobre os conjuntos descritos.

Passo 6

Conectar com o conceito de isomorfismo e com a prática matemática (uma lição prática).
  • Matemáticos normalmente aceitam representar os naturais por \omega (ordinais finitos de von Neumann) porque isso evita confusões e permite trabalhar “como se” cada número fosse um conjunto concreto. A razão prática é: duas representações que são isomórficas (preservam 0, o sucessor e as operações definidas) são equivalentes para toda a matemática que depende só das propriedades de Peano. Portanto, afirmar que “os naturais são conjuntos” é uma forma abreviada de dizer “na teoria de conjuntos ZF existe um conjunto \omega que fornece um modelo padrão dos naturais; por isso podemos tratá-los como conjuntos sem perda de rigor”.
  • Em provas e na prática, tratamos os naturais como os objetos de \omega e isso funciona muito bem; mas filosoficamente convém lembrar que isso é uma escolha de fundamentação.

Passo 7

Resposta crítica curta e direta (síntese): a avaliação final do enunciado.
  • A construção de von Neumann fornece um modelo canônico de \mathbb{N} inteiramente feito de conjuntos e, portanto, dentro da teoria de conjuntos ZF permite identificar cada número natural com um conjunto concreto. Nesse sentido formal e prático, a afirmação é correta.
  • Porém, a afirmação é enganosa se tomada como uma conclusão ontológica absoluta: a construção não prova que os naturais “são” conjuntos em qualquer sentido extraformal — ela apenas mostra que existe uma representação natural e útil dentro de uma teoria na qual tudo é conjunto. Além disso, existem outras representações possíveis; o que importa matematicamente é a estrutura até isomorfismo.

Resposta

A construção de von Neumann mostra que, dentro da teoria de conjuntos ZF, existe um modelo canônico \omega dos números naturais cujos elementos são conjuntos (logo, na prática e formalmente em ZF, podemos tratar os naturais como conjuntos). Contudo, essa construção não prova ontologicamente que os naturais “são” conjuntos em sentido absoluto: ela fornece uma representação canônica e conveniente (há outras representações e a conclusão depende da escolha da teoria de fundamento), de modo que a afirmação deve ser entendida como “na teoria de conjuntos os naturais podem ser identificados com certos conjuntos”, não como uma prova metafísica definitiva.

Exercícios relacionados