Exercício 2.21. No contexto de ZFC, explique a diferença conceitual entre axioma, definição e teorema. Ilustre cada caso com um exemplo relacionado à construção dos números naturais.

Passo 1

O enunciado pede duas coisas bem claras:
  • Explicar, no contexto de ZFC, a diferença conceitual entre “axioma”, “definição” e “teorema”.
  • Ilustrar cada um desses três conceitos com um exemplo relacionado à construção dos números naturais.
Informações relevantes que o enunciado dá (e que vou usar como base para os exemplos):
  • O contexto é a teoria axiomática ZFC (Zermelo–Fraenkel com Axioma da Escolha).
  • A construção usual dos naturais em ZFC usa a construção de von Neumann, em que se define 0=\varnothing, o sucessor S(x)=x\cup\{x\} e \omega como o conjunto dos naturais (obtido a partir do axioma da Infinidade).
  • Vou usar explicitamente o enunciado do Axioma da Infinidade e a definição de conjunto indutivo e de \omega, e depois mostrar um teorema clássico (princípio da indução / axiomas de Peano derivados).

Passo 2

O que é um axioma (conceito) e um exemplo em ZFC.
  • Conceito (explicação didática): um axioma é uma fórmula da linguagem da teoria que aceitamos como verdadeira sem prova dentro dessa teoria. É um ponto de partida: regras do jogo. Em ZFC cada axioma é uma sentença do primeiro-ordem sobre conjuntos; com eles construímos demonstrações de teoremas. Um axioma pode ser intuitivo (como “existe um conjunto formado por qualquer par de conjuntos”) ou mais ousado (como “existe um conjunto infinito”); tipicamente não é demonstrável a partir dos outros axiomas (pode ser independente).
  • Exemplo concreto (peguei a formulação do próprio axioma da Infinidade): o Axioma da Infinidade é uma das hipóteses de ZFC que garante a existência de um conjunto com uma propriedade que chamamos de “indutiva”. Uma forma comum de enunciar é:
\exists x\;\bigl(\varnothing\in x\\ \wedge\\ \forall y\,(y\in x\Rightarrow y\cup\{y\}\in x)\bigr).
Interpretação em palavras: existe um conjunto x que contém o conjunto vazio e, sempre que contém um elemento y, também contém o sucessor y\cup\{y\}. Esse axioma é uma hipótese que não provamos em ZFC — é um dos blocos fundamentais.
  • Por que isso é um axioma e não definição ou teorema? Porque ele postula explicitamente a existência de algo (um conjunto indutivo). Sem postular isso, nada em ZF garante a existência de um conjunto infinito; logo precisamos aceitá-lo como hipótese.

Passo 3

O que é uma definição (conceito) e a definição dos naturais em ZFC via von Neumann.
  • Conceito (explicação didática): uma definição não é algo que se prova; é uma convenção — introduz um novo símbolo ou termo como abreviação de uma expressão ou como uma construção feita a partir dos objetos que já existem (segundo os axiomas). Em lógica/formalismo, definições são geralmente conservativas: elas não acrescentam conteúdo novo ao sistema, apenas nomes para coisas já expressáveis. Em ZFC, definições concretas de termos como “sucessor” ou “ \omega” resumem construções feitas usando os axiomas (por exemplo, União, Par, Separação, Infinidade).
  • Exemplo concreto (construção de von Neumann; usei estas fórmulas como definição):
    • Definir o número zero por
    0 := \varnothing.
    • Definir o sucessor de um conjunto x por
    S(x) := x\cup\{x\}.
    • Dizer que um conjunto I é indutivo significa:
    I\text{ é indutivo} \quad\text{se}\quad \varnothing\in I \\ \wedge\\ \forall y\,(y\in I\Rightarrow S(y)\in I).é
    • Definir o conjunto dos naturais \omega como a interseção de todos os conjuntos indutivos. Para formalizar bem isso em ZFC: primeiro, pelo Axioma da Infinidade existe algum conjunto indutivo I_0. Então usamos o esquema de Separação para definir
    \omega := \{y\in I_0 \mid \forall J\,(J\text{ indutivo}\Rightarrow y\in J)\}.
    Essa definição produz um conjunto \omega que está contido em todo conjunto indutivo — ou seja, o menor conjunto indutivo. Esta é uma definição: \omega é designado por esse nome e começamos a falar dos seus elementos como os “números naturais”.
  • Observação didática: notar que a definição de \omega usa os axiomas (Infinidade para conseguir um I_0, Separação para filtrar elementos) — mas a definição em si é só um modo de dar nome ao conjunto que já existe por consequência dos axiomas. A definição não prova que \omega existe; os axiomas (Infinidade + Separação) garantem a existência.

Passo 4

O que é um teorema (conceito) e um teorema concreto sobre \omega (princípio da indução / propriedades de Peano), com provas passo a passo.
  • Conceito (explicação didática): um teorema é uma sentença que se consegue demonstrar a partir dos axiomas e das definições por meio de regras de inferência formais. Ou seja, é algo que deixamos de aceitar como dado e mostramos que decorre dos axiomas. Teoremas expressam consequências não óbvias das hipóteses axiomáticas e das definições.
  • Exemplo concreto de teorema: as propriedades de Peano para (\omega,0,S) são teoremas em ZFC. Vou enunciar três propriedades essenciais e mostrar provas diretas, em detalhe, para duas delas (zero não é sucessor; princípio da indução).
    Enunciação das propriedades (forma compacta):
    \begin{aligned} &\text{(P1) } \varnothing\in\omega.\\\ &\text{(P2) } \forall n\in\omega\,(S(n)\in\omega).\\\ &\text{(P3) } \forall n\in\omega\,(S(n)\neq\varnothing).\\\ &\text{(P4) } \forall m,n\in\omega\,(S(m)=S(n)\Rightarrow m=n).\\\ &\text{(P5) (Indução) } \text{Se }A\subseteq\omega,\\ \varnothing\in A,\\ \forall n\in A\,(S(n)\in A),\text{ então }A=\omega. \end{aligned}çãã
    Vou provar cuidadosamente (P3) e (P5), que ilustram bem como um teorema é derivado.
    Prova de (P3): nenhuma sucessão é o zero.
    • Pegue qualquer x. Por definição S(x)=x\cup\{x\}.
    • Observe que x\in S(x) (porque \{x\}\subseteq S(x)), logo S(x)\neq\varnothing.
    • Portanto, para todo n, S(n)\neq\varnothing. Como \varnothing é o nosso 0, concluímos
    \forall n\in\omega\,(S(n)\neq\varnothing),
    ou seja (P3) está provado usando apenas a definição de S e propriedades elementares da união e do conjunto unitário. Isto mostra um típico teorema: começamos com definições e usamos axiomas básicos (Extensionalidade e União, que já estão em ZFC) para concluir algo.
    Prova de (P5): princípio da indução (a prova é curta e muito conceitual).
    • Lembremos da definição de \omega: \omega é a interseção de todos os conjuntos indutivos. Portanto, qualquer conjunto indutivo J satisfaz \omega\subseteq J.
    • Agora suponha A\subseteq\omega com \varnothing\in A e \forall n\in A\,(S(n)\in A). Então A é indutivo quando visto como subconjunto de \omega; para torná-lo um participante na família dos “conjuntos indutivos” usados na definição de \omega podemos observar: como A\subseteq\omega e \omega é indutivo, a condição \varnothing\in A e fechamento por sucessor faz A ter a própria propriedade indutiva (ou, alternativamente, considerar o conjunto A estendido a um conjunto indutivo que o contém — a interseção dos indutivos que contêm A será um indutivo que contém A). Mais direto:
    • Considere a família \mathcal{F}=\{J\mid J\text{ é indutivo e }A\subseteq J\}é. Essa família não é vazia porque \omega está em \mathcal{F} (já que A\subseteq\omega e \omega é indutivo). A interseção de todos os conjuntos em \mathcal{F} é o menor conjunto indutivo que contém A, e, por construção, ele contém \omega (pois \omega está contido em qualquer indutivo). Mas como A\subseteq\omega, a menor indutivo contendo A coincide com \omega. Assim A=\omega.
    • Em termos mais diretos e elementares: qualquer subconjunto A\subseteq\omega contendo 0 e fechado por sucessor é indutivo e, pelo fato de \omega ser a interseção de todos os indutivos, contém \omega. Como A\subseteq\omega já, segue A=\omega.
    • Portanto o esquema de indução é uma consequência direta da definição de \omega e do Axioma da Infinidade (que garante que haja indutivos para intersectar). Assim (P5) é provado.
  • Comentário pedagógico: essas provas mostram a diferença prática entre definição e teorema. A definição nos diz o que queremos dizer por S(x) e \omega; o axioma (Infinidade) garante existência; o teorema (Indução) é uma consequência que exigiu um pequeno raciocínio a partir das definições e do axioma.

Passo 5

Comparação conceitual final, de forma compacta e intuitiva (tipo “cola mental”) — e incentivo.
  • Axioma: é uma hipótese básica que aceitamos sem provar; exemplo: o Axioma da Infinidade
\exists x\;(\varnothing\in x\\ \wedge\\ \forall y\,(y\in x\Rightarrow S(y)\in x)).
Sem ele, não teríamos a garantia de um conjunto infinito e, portanto, não poderíamos construir \omega.
  • Definição: é um nome/etiqueta que damos a uma construção que podemos descrever a partir dos axiomas; exemplo: 0:=\varnothing, S(x):=x\cup\{x\} e
\omega := \{y\in I_0 \mid \forall J\,(J\text{ indutivo}\Rightarrow y\in J)\},
onde I_0 vem do Axioma da Infinidade. Definições não são verdades a provar, são convenções que organizam o trabalho.
  • Teorema: é uma sentença que demonstramos a partir dos axiomas e das definições; exemplo: as propriedades de Peano para (\omega,0,S) (em particular o princípio da indução) são teoremas em ZFC. Por exemplo, se A\subseteq\omega, \varnothing\in A e \forall n\in A\;(S(n)\in A), então A=\omega — isto é provado a partir da definição de \omega como interseção de conjuntos indutivos e do Axioma da Infinidade.
Força aí — você agora tem uma imagem clara: axiomas = peças básicas que aceitamos; definições = nomes e convenções para organizar construções; teoremas = as consequências que extraímos com provas. No caso dos naturais em ZFC: a Infinidade é o axioma, a construção de von Neumann é a definição, e o fato de que \omega satisfaz os axiomas de Peano (incluindo a indução) é um teorema que resulta dessa combinação.

Resposta

Axioma: o Axioma da Infinidade, por exemplo
\exists x\;\bigl(\varnothing\in x\\ \wedge\\ \forall y\,(y\in x\Rightarrow y\cup\{y\}\in x)\bigr),
que afirma a existência de um conjunto indutivo (é aceito sem prova em ZFC).
Definição: a construção de von Neumann dos naturais, por exemplo
0:=\varnothing,\qquad S(x):=x\cup\{x\},\qquad \omega:=\bigcap\{I\mid I\text{ é indutivo}\},é
que dá nomes e forma ao conjunto dos números naturais a partir dos axiomas.
Teorema: as propriedades de Peano são prováveis em ZFC; por exemplo o princípio da indução
\text{Se }A\subseteq\omega,\\ \varnothing\in A,\\ \forall n\in A\;(S(n)\in A)\text{ então }A=\omega,ã
é um teorema demonstrável a partir do Axioma da Infinidade e da definição de \omega.

Exercícios relacionados