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
, o sucessor e 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
, 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 é:
Interpretação em palavras: existe um conjunto
que contém o conjunto vazio e, sempre que contém um elemento
, também contém o sucessor
. 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 “
” 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
- Definir o sucessor de um conjunto
por
- Dizer que um conjunto
é indutivo significa:
- Definir o conjunto dos naturais
como a interseção de todos os conjuntos indutivos. Para formalizar bem isso em ZFC: primeiro, pelo Axioma da Infinidade existe algum conjunto indutivo . Então usamos o esquema de Separação para definir
Essa definição produz um conjuntoque está contido em todo conjunto indutivo — ou seja, o menor conjunto indutivo. Esta é uma definição: é 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
usa os axiomas (Infinidade para conseguir um , 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 existe; os axiomas (Infinidade + Separação) garantem a existência.
Passo 4
O que é um teorema (conceito) e um teorema concreto sobre
(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
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):Vou provar cuidadosamente (P3) e (P5), que ilustram bem como um teorema é derivado.Prova de (P3): nenhuma sucessão é o zero.- Pegue qualquer
. Por definição . - Observe que
(porque ), logo . - Portanto, para todo
, . Como é o nosso , concluímos
ou seja (P3) está provado usando apenas a definição dee 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
: é a interseção de todos os conjuntos indutivos. Portanto, qualquer conjunto indutivo satisfaz . - Agora suponha
com e . Então é indutivo quando visto como subconjunto de ; para torná-lo um participante na família dos “conjuntos indutivos” usados na definição de podemos observar: como e é indutivo, a condição e fechamento por sucessor faz ter a própria propriedade indutiva (ou, alternativamente, considerar o conjunto estendido a um conjunto indutivo que o contém — a interseção dos indutivos que contêm será um indutivo que contém ). Mais direto: - Considere a família
. Essa família não é vazia porque está em (já que e é indutivo). A interseção de todos os conjuntos em é o menor conjunto indutivo que contém , e, por construção, ele contém (pois está contido em qualquer indutivo). Mas como , a menor indutivo contendo coincide com . Assim . - Em termos mais diretos e elementares: qualquer subconjunto
contendo e fechado por sucessor é indutivo e, pelo fato de ser a interseção de todos os indutivos, contém . Como já, segue . - Portanto o esquema de indução é uma consequência direta da definição de
e do Axioma da Infinidade (que garante que haja indutivos para intersectar). Assim (P5) é provado.
- Pegue qualquer
-
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
e ; 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
Sem ele, não teríamos a garantia de um conjunto infinito e, portanto, não poderíamos construir
.
- Definição: é um nome/etiqueta que damos a uma construção que podemos descrever a partir dos axiomas; exemplo:
, e
onde
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
(em particular o princípio da indução) são teoremas em ZFC. Por exemplo, se , e , então — isto é provado a partir da definição de 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
satisfaz os axiomas de Peano (incluindo a indução) é um teorema que resulta dessa combinação.
Resposta
Axioma: o Axioma da Infinidade, por exemplo
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
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
é um teorema demonstrável a partir do Axioma da Infinidade e da definição de
.