Exercício 2.32. Discuta criticamente a afirmação:
“A construção de von Neumann mostra que os números naturais são conjuntos.”
“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):
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:
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:
A partir disso, definem-se os primeiros naturais:
e assim por diante. Em geral, cada número natural
é o conjunto de todos os seus predecessores:
Uma consequência simples e útil: para
construídos assim,
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
(o conjunto dos ordinais finitos von Neumann):
- Axioma P1: Existe um elemento
.
Aquié um conjunto e pertence a . - Axioma P2: O sucessor de um natural é outro natural (fechamento).
Seentão também está em (essa é a construção de ordinais finitos). - Axioma P3:
não é sucessor de nenhum natural.
Não existetal que , pois sempre contém como elemento, enquanto não contém nada. - Axioma P4: Sucessores distintos têm predecessores distintos (injeção do sucessor).
Seentão . Raciocínio: portanto ; logo ou . Simetricamente ou . Pela irreflexividade da relação entre naturais finitos (não há ciclos), concluímos . (Formalmente, pode-se provar por indução.) - Axioma P5 (Indução): Qualquer subconjunto
que contenha e seja fechado por sucessor contém todos os naturais.
Em teoria dos conjuntos,é definido como a interseção de todos os conjuntos “indutivos” (conjuntos que contêm e fecham sob sucessor), daí a propriedade de indução é imediata.
Portanto, a coleção
dos ordinais finitos von Neumann, com
e a operação
, 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
como e dar uma definição explícita para cada 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
, o que simplifica muitas provas formais (por exemplo, se e só se ).
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:
Esses 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 ". - 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
(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 , 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 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
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
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
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.