Publicado em 20 de janeiro de 2026

Todo exemplo precisa de exceção? O que são axiomas e por que as regras mudam

Nem toda regra nasce de exceções. Axiomas são o ponto zero onde as regras começam — e às vezes, mudam tudo

matemáticalógicafilosofiaaxiomas

Todo exemplo precisa de exceção?

Não. O que parece “exceção” geralmente é só contexto diferente.

O problema é que a gente aprende regras como se fossem verdades absolutas — quando na verdade são verdades dentro de um sistema específico.

Por exemplo:

“Triângulos têm 180° de ângulos internos” → Verdade… no plano. Numa esfera? Falso.
“Não dá pra dividir por zero” → Verdade… na aritmética comum. Em alguns sistemas matemáticos? Dá sim.
“O caminho mais curto entre dois pontos é uma linha reta” → Verdade… no plano. Num globo? O caminho mais curto é uma curva.

Não são exceções. São sistemas diferentes com regras (axiomas) diferentes.

E quando entendi isso, parei de ver matemática como “decoreba de fórmulas” e comecei a ver como construção de mundos lógicos.

O que são axiomas?

Axioma = uma regra básica que você assume como verdade sem provar.

É tipo as “regras do jogo” antes de começar a jogar.

Exemplo: Geometria Euclidiana

Euclides (300 a.C.) construiu toda a geometria em cima de 5 axiomas. Um deles:

“Por um ponto fora de uma reta, passa exatamente uma reta paralela.”

Parece óbvio, né? Mas é uma escolha. Você poderia escolher diferente.

Geometria Não-Euclidiana (esférica)

Matematicamente, você pode mudar esse axioma pra:

“Por um ponto fora de uma reta, não passa nenhuma reta paralela.”

E aí você inventa geometria esférica — onde todas as “retas” (geodésicas) eventualmente se encontram.

Resultado: triângulos na esfera têm mais de 180°.

Não é exceção. É outro sistema.

Exemplos práticos de “exceções” que não são exceções

1. Aritmética modular (relógio)

No relógio de 12 horas:

11 + 2 = 1 (não 13)
8 + 7 = 3 (não 15)

“Mas isso tá errado!”

Não. Tá certo no sistema módulo 12. Os axiomas mudaram — agora números “voltam ao início” depois de 12.

2. Sistema binário

Em binário (base 2):

1 + 1 = 10 (não 2)
10 + 10 = 100 (não 20)

De novo: não é exceção. É outro sistema de contagem.

3. Lógicas não-clássicas

Na lógica clássica:

Uma afirmação é verdadeira ou falsa (lei do terceiro excluído)

Na lógica fuzzy:

Uma afirmação pode ser “50% verdadeira”
Ou “70% verdadeira”

Não é exceção — é lógica com axiomas diferentes, usada em IA e controle de sistemas.

Por que isso importa?

Porque a gente confunde “verdade no sistema X” com “verdade absoluta”.

E aí quando encontra algo que contradiz, acha que é “exceção” ou “erro”.

Mas não é. É só que mudou o sistema.

Exemplo do dia a dia:

Você aprende: “Não pode dividir por zero.”

Aí alguém diz: “Na soma de Riemann, dá pra dividir por zero.”

Sua reação: “Ué, mas não era regra?”

Resposta: Era regra nos números reais. Na soma de Riemann (sistema matemático diferente), as regras mudam.

https://upload.wikimedia.org/wikipedia/commons/2/2a/Riemann_sum_convergence.png

Axiomas são escolhas, não descobertas

Aqui tá o pulo do gato que demorei pra entender:

Axiomas não são “descobertos” — são escolhidos.

Matemáticos decidem as regras básicas e depois exploram as consequências.

É tipo videogame:

Minecraft tem regras (blocos, gravidade limitada)
GTA tem regras diferentes (física realista, carros)
Tetris tem regras completamente diferentes

Nenhum tá “errado”. São universos com regras próprias.

Geometria euclidiana e não-euclidiana são a mesma coisa — universos matemáticos com regras diferentes.

Então tudo é relativo?

Não.

Dentro de um sistema com axiomas definidos, as consequências são absolutas.

Exemplo:

Se você aceita os axiomas de Peano (números naturais)
Então 1 + 1 = 2 é necessariamente verdade

Mas se você muda os axiomas (tipo aritmética módulo 2), o resultado muda.

A relatividade tá nos axiomas. A lógica depois é férrea.

Perguntas que eu tinha (e as respostas)

“Então matemática é inventada ou descoberta?”
Os dois. Axiomas são inventados (escolhidos). As consequências lógicas são descobertas.

“Como saber quais axiomas usar?”
Depende do que você quer modelar. Geometria euclidiana funciona pra mapas pequenos. Esférica funciona pra GPS global.

“Pode ter axiomas contraditórios?”
Dentro do mesmo sistema, não. Mas sistemas diferentes podem ter axiomas incompatíveis — e tá tudo bem.

“Por que a escola não ensina isso?”
Boa pergunta. Provavelmente porque é mais fácil ensinar “regras fixas” do que “sistemas contextuais”. Mas entender axiomas muda tudo.

Por que isso me fascinou

Porque percebi que discordâncias muitas vezes são só sistemas diferentes.

Duas pessoas podem estar ambas certas — só estão usando axiomas diferentes.

Exemplo filosófico:

Pessoa A: “Aborto é errado” (axioma: vida começa na concepção)
Pessoa B: “Aborto é direito” (axioma: autonomia corporal é absoluta)

Não é que uma tá certa e outra errada. São sistemas éticos com axiomas diferentes.

Entender isso não resolve o debate — mas ajuda a perceber onde tá a discordância real (nos axiomas, não nas conclusões lógicas).

💡 Resumo em 3 pontos:

Axiomas são regras básicas assumidas sem prova — a fundação de qualquer sistema lógico
“Exceções” geralmente são só resultados de sistemas com axiomas diferentes
Dentro de um sistema, as consequências são absolutas — mas você pode escolher outro sistema

Curtiu entender como sistemas lógicos funcionam? Escrevi sobre outro conceito que parece ter resposta óbvia mas não tem. Confere o post sobre 1 + 1 = 2 (ou não?) — é sobre como até a aritmética básica depende de axiomas.