Investigao Filosfica, Edio Especial do I Encontro Investigao Filosfica, 2015.

(ISSN: 2179-6742)
Artigos / Articles

O APELO AO AXIOMA DA ESCOLHA NA DEFINIO DE CERTAS OPERAES

ARITMTICAS
Guilherme T. M. Schettini1
RESUMO: Este artigo, de natureza expositiva, tem por objetivo apresentar um uso particular do
axioma da escolha na filosofia matemtica, a saber, na definio da multiplicao com infinitos
fatores. Para isso, sero antes apresentadas a disciplina da filosofia matemtica enquanto distinta da
matemtica, as definies das noes de nmero e operao aritmtica, e a forma geral do axioma da
escolha. Todas essas noes esto presentes na obra de Bertrand Russell, e algumas so devidas a ele.
PALAVRAS-CHAVE: Axioma da Escolha. Operaes Aritmticas. Filosofia Matemtica.
Abstract: This article, of expository nature, aims to present a particular use of the axiom of choice in
mathematical philosophy, namely the definition of multiplication with infinite factors. For this, will be
brought before the discipline of mathematical philosophy as distinct from mathematics, the definitions
of the notions of number and arithmetic operation, and the general form of the axiom of choice. All
these notions are present in the work of Bertrand Russell, and some are due to him.
Keywords: Axiom of Choice. Arithmetic operations. Mathematical philosophy.

Se nos questionarmos, a respeito do artigo que se segue, qual a rea da filosofia em

que est inserido, parecer evidente aloc-lo no campo da filosofia matemtica, e, em
particular, na filosofia matemtica tal como entendida por Bertrand Russell.
A filosofia matemtica, assim como a matemtica, tem por objeto de estudo o que se
poderia chamar de elementos da matemtica (nmeros, operaes aritmticas, funes etc.),
mas, diferentemente da matemtica que se desenvolve numa complexidade crescente -,
persegue a simplicidade lgica.
De um ponto inicial (digamos, da noo de nmero natural), a matemtica procurar
evoluir para noes mais complexas (dos nmeros naturais para os inteiros, dos inteiros para
os fracionrios, dos fracionrios para os reais, dos reais para os complexos etc.), e a filosofia
matemtica, para noes mais simples (um de nossos propsitos aqui justamente o de
encontrar uma noo logicamente anterior aos nmeros naturais).
Assim, historicamente, sempre que se partiu de conhecimentos matemticos empricos
(as regras de agrimensura dos egpcios, por exemplo) para formulaes gerais pelas quais
aqueles conhecimentos se justificaram (os postulados de Euclides, no caso), praticou-se, no a
matemtica, mas a filosofia matemtica. No entanto, uma vez estabelecidos esses postulados,
todos os seus desdobramentos dizem respeito matemtica.
O que separa a filosofia matemtica da matemtica, em suma, no outra coisa seno
o sentido da investigao sobre um mesmo assunto: os elementos da matemtica. Resta saber,
dos elementos acima exemplificados, qual aquele de que partem ambas as disciplinas.
Com efeito, se considerarmos que toda a matemtica tradicional consiste de
proposies sobre nmeros naturais (o que, ademais, j foi demonstrado por Peano), e que a
noo de nmero natural suficientemente simples para a filosofia matemtica (em

UFRJ.

http://periodicoinvestigacaofilosofica.blogspot.com.br

IF

99

Investigao Filosfica, Edio Especial do I Encontro Investigao Filosfica, 2015. (ISSN: 2179-6742)
Artigos / Articles

especfico, para a sua tarefa de definir os elementos da matemtica, isto , de reduzi-los a

noes logicamente mais simples), no teremos por que eleger um outro elemento.
Que , pois, um nmero natural? De fato, poder-se-ia argumentar que esta dvida est
longe de autntica, dado que j se afigurou a uma srie de filsofos. Mas a resposta da
filosofia matemtica a essa questo inquestionavelmente original, e tem o mrito de apontar,
de uma maneira que acreditamos definitiva, a falha das anteriores.
O erro mais comum dos antigos foi o de definir nmero como pluralidade. De fato, as
pluralidades so exemplos de nmeros particulares (um trio de gatos, digamos, um exemplo
do nmero 3), mas no so, em absoluto, a definio desses nmeros (o nmero 3 no
apenas um trio de gatos).
A definio de um nmero particular, para no ser inexata, deve contemplar todas as
pluralidades que exemplificam esse nmero, e s elas. De uma maneira didtica, podemos
pensar em tais pluralidades como elementos de uma mesma classe. Uma classe a extenso
uma ia u i (a ia huma, xml, tm m
extenso a classe de todos os 7 bilhes de seres humanos vivos).
Nesses termos, o conceito de ser humano seria definido pela enumerao de todos os
lmt a la huma (ta ia, m via, uma fii xtavagat, ma,
ainda assim, correta), e o conceito de um nmero particular (o nmero 3, por exemplo),
mediante a enumerao de todas as pluralidades que o exemplificam (todos os trios existentes,
no caso).
No entanto, ao contrrio do que se passa com o nmero total de humanos, cuja
quantidade grande, mas finita, no podemos enumerar, um a um, todos os trios existentes,
dado que estes so presumivelmente infinitos. Assim, no ser possvel definir um nmero
particular de uma maneira extensional (a definio extensional justamente aquela que se d
pela enumerao de todos os membros pertencentes classe que se quer definir).
Se no somos capazes de definir um nmero particular apresentando, uma a uma,
todas as pluralidades que o exemplificam, devemos apelar, ento, para uma definio
intensional, isto , para a enunciao da propriedade essencial que conecta todas essas
pluralidades a um mesmo nmero particular.
a fma, utitum a ut u um m uta u lh
uivalt ual a ia ial ta a lualiades que exemplificam um
tmia m a fi m , o que todos os trios tm em comum
que os diferenciam de todas as unidades, todas as duplas, todos os quartetos etc.?
E desta forma que a filosofia matemtica responde essa questo: os trios so de tal
maneira constitudos que, entre dois trios quaisquer, sempre possvel associar cada elemento
de um a um nico elemento do outro. H, portanto, entre os trios em questo, uma relao que
poderamos chamar de um-para-um (a exemplo do que ocorre na relao marido-esposa nas
sociedades monogmicas: o nmero de maridos vivos necessariamente igual ao de esposas
vivas, de modo que podemos associar, para cada marido, uma nica esposa).
Quando, entre duas classes, vigora uma relao de um-para-um (como entre duas
classes quaisquer de trios ou entre as classes dos maridos e das esposas), dizemos que as
classes em questo so equipotentes. De posse desse vocabulrio, j podemos definir nmero.

http://periodicoinvestigacaofilosofica.blogspot.com.br

IF

100

Investigao Filosfica, Edio Especial do I Encontro Investigao Filosfica, 2015. (ISSN: 2179-6742)
Artigos / Articles

Um nmero particular , pois, a classe de todas as classes que lhe so eqipotentes. O

nmero 3, por exemplo, a classe de todos os trios; o nmero 2, a de todas as duplas; o
nmero 1, a de todas as unidades. Cada um desses nmeros particulares uma classe que
consiste de infinitos membros, e no de um nmero particular de membros (o nmero 3, por
exemplo, no definido como uma classe de 3 elementos, mas de infinitos trios).
Mas por que batizamos a classe de todos os trios de nmero 3, a classe de todas as
duplas de nmero 2, e a classe de todas as unidades de nmero 1? Ora, aqui precisamos
admitir: o fazemos por conveno.
Nada nos impediria de chamar de nmero 1 a classe de todas as duplas existentes, ou
de nmero 2, a de todas as unidades. Neste caso, entenderamos por 1 o que entendemos
atualmente por 2, e por 2, o que entendemos por 1. No obstante, ainda nesse cenrio, o
nmero 1 e o nmero 2 seriam classes de classes eqipotentes.
Chegamos, ento, ao seguinte ponto: o nome que atribumos a uma classe arbitrrio,
mas, uma vez atribudo este nome, a sua definio deve capturar o que h de essencial nesta
classe (ou elencar todos os seus membros, o que invivel no caso dos nmeros).
Praticando a filosofia matemtica, reduzimos a noo de nmero noo de
equipotncia entre classes, que lhe anterior. Tal antecedncia simples de se verificar: com
efeito, mais fcil saber que, nas sociedades monogmicas, o nmero de maridos vivos
igual ao de esposas vivas, que descobrir que nmero esse.
A partir de agora, podemos tomar como primitiva a noo de classe. Uma noo
primitiva inteligvel e no possui definio. Trata-se de um artifcio necessrio para romper
a cadeia de definies (de fato, sempre que definimos um termo, o fazemos por meio de outro,
e, em algum momento, h que se estabelecer uma noo primitiva).
De posse da noo de classe, estamos aptos a definir um outro importante elemento da
matemtica: as operaes aritmticas. O que so a adio e a multiplicao, especificamente?
De acordo com a filosofia matemtica, s h um mtodo correto para a definio das
operaes aritmticas: deve-se construir uma classe com o nmero requerido de elementos
para o resultado da operao, provando a existncia desse resultado.
No caso da adio, se quisermos definir, por exemplo, a ma + , um
m aial ualu, vm tui uma la ( + ) lmt u
maia fam i imiamt, hamam uma la ualu m
elementos. Em seguida, formamos todos os pares ordenados cuja primeira componente uma
la iti um i mm gua mt jut vai
hamam 1 a classe de todos esses pares. Depois, formamos todos os pares ordenados
cuja primeira componente o conjunto vazio e segunda componente uma classe consistindo
um i mm hamam 2 a classe de todos esses pares. Finalmente,
mvm a ui a la 1 2 a ui ui ( + ) lmt, a
fii a a +
Procedendo de maneira anlga, fiim a ai t i aiai itit, +
, u mm t um m ualu aiai, + + + (t a, a u +
+ + uivalt a ( + ) + +, ata alia, a a a, imt
anterior).

http://periodicoinvestigacaofilosofica.blogspot.com.br

IF

101

Investigao Filosfica, Edio Especial do I Encontro Investigao Filosfica, 2015. (ISSN: 2179-6742)
Artigos / Articles

Como se nota, a filosofia matemtica trata a definio da adio como uma mera
questo de dispositivo tcnico apropriado para a construo da classe esperada. O que ela faz,
na verdade, reduzir a adio entre nmeros cardinais unio entre classes. Um tipo
equivalente de reduo ocorrer na definio da multiplicao com finitos fatores.
De incio, pensemos em como definir a multiplicao entre dois nmeros cardinais
uaiu, x hamam uma la ualu m lmt uma la
ualu m lmt, m ttal a a vi m fma
m imia mt m gua mt m xatamt ( x ), a
la u tm t a a fii a a x
Cabe salientar que essa operao entre duas classes quaisquer, responsvel pela
formao de todos os pares ordenados com primeira componente em uma e segunda
componente em outra, denominada produto cartesiano de classes. Com efeito, a
multiplicao entre dois nmeros cardinais quaisquer definida a partir do produto
cartesiano entre as classes que lhe so correspondentes (isto , que possuem o seu nmero de
elementos).
Mas como definir a multiplicao para um nmero de fatores maior do que dois, mas
finit m, xml, a multilia m t fat, x x gui
imt ati, fiim uma la m
lmt, uma la
m
lmt uma la m lmt it i, a fii a a a lae de
t ti a vi m fma m imia mt m ,
gua mt m tia mt m
O problema est, justamente, no caso em que o nmero de fatores da multiplicao
infinito. Neste caso, ou lanamos mo do polmico axioma da escolha, da teoria dos
conjuntos, ou no somos capazes de definir essa operao.
O axioma da escolha um dos axiomas fundadores da teoria cannica dos conjuntos2.
u uia fmal u gu aa ualu la classes mutuamente exclusivas,
das quais nenhuma vazia, h pelo menos uma classe que tem exatamente um elemento em
mum m aa uma a la aa
m ta imiat, axima a lha tula a xitia uma va
la a ati de classes dadas inicialmente. A rigor, outros axiomas da teoria dos conjuntos
procedem de maneira anloga (pensemos, por exemplo, no axioma da potncia, que assevera
u aa ta la x xit uma la y u ui m lmt ta a ulas de
x), f ga aa a fma a va la ( a axima a tia, a
ga u lmt a va la jam ta a ula a la iiial)
Uma subclasse de uma classe, vale lembrar, qualquer agrupamento que consiste apenas de
elementos dessa classe. O conjunto vazio subclasse de todas as classes.
Mas, ao contrrio do que sugere uma investigao apressada, a natureza do axioma da
escolha distinta da dos demais axiomas da teoria dos conjuntos. Isso se observa mais
nitidamente ao se confrontar estes com uma das formas equivalentes ao axioma da escolha: o
teorema da boa ordenao.

Aqui, referimo-nos teoria dos conjuntos de Zermelo-Fraenkel como teoria cannica dos conjuntos, dado que
esta tem sido a mais utilizada na matemtica.

http://periodicoinvestigacaofilosofica.blogspot.com.br

IF

102

Investigao Filosfica, Edio Especial do I Encontro Investigao Filosfica, 2015. (ISSN: 2179-6742)
Artigos / Articles

Foi atravs do teorema da boa ordenao que Ernst Zermelo, em 1904, tornou pblico
o axioma da escolha, que implica e implicado aul gu tma, ta
la m aa, it , ta a ua ula um primeiro elemento
Para os nossos propsitos, podemos adaptar o teorema da boa ordenao para o seguinte
uia aa ualu la classes mutuamente exclusivas, todas essas classes
um imi lmt
De maneira intuitiva, teremos clara a equivalncia entre o axioma da escolha e o
teorema da boa ordenao se pensarmos que o primeiro elemento de cada classe inicial [de
que trata o ltimo] ser exatamente o elemento escolhido para fazer parte da classe de escolha
(isto , da classe que possuir exatamente um elemento em comum com cada uma das classes
dadas inicialmente) no enunciado do axioma da escolha.
No entanto, est longe de claro que, para todos os casos possveis, exista uma regra
para a formao da classe de escolha, ou, o que o mesmo (j no fazemos mais a distino),
que todas as classes dadas inicialmente possuam primeiro elemento.
Se pensarmos em classes de nmeros naturais (isto , cujos elementos so nmeros
naturais), haver sempre um primeiro elemento para cada classe, pois os nmeros naturais so
bem ordenados (isto , possuem menor elemento), pelo que ser sempre possvel formar uma
classe de escolha. Mas o mesmo no se aplica, por exemplo, aos nmeros reais.
Nestes casos, no h nenhuma regra para a formao da classe de escolha, pois no h
nenhuma lei que nos indique qual o primeiro elemento de cada classe. O axioma da escolha
ter de ser a prpria regra.
Assim, ao contrrio dos demais axiomas da teoria dos conjuntos, que oferecem regras
para a construo de novas classes, o axioma da escolha postula a existncia dessas novas
classes sem oferecer as regras (ou melhor, sendo ele prprio a regra). Vejamos uma ilustrao.
conhecido, na literatura, o exemplo de Russell dos pares de sapatos e de meias. De
uma classe de infinitos pares de sapatos, possvel extrair a existncia de uma nova classe,
contendo exatamente um sapato de cada par inicial? A pergunta, na verdade, quer saber se h
uma regra (fora o axioma da escolha) que garanta a existncia da nova classe. E, de fato,
vl uia uma a u aat m a, it , h aat aa
direito e sapatos para o p esquerdo, uma ga ti lia aat aa iit
aa a a a va la, u xatamt a lha, m a ia
axioma da escolha.
tat, aa a ifiit a mia, m ta m
ordenadas ( h, at am, mia aa iit mia aa u), a
nica alternativa para a formao da classe de escolha, que contm exatamente uma meia de
cada par, o axioma da escolha. Por ser utilizado s quando esperado (isto , na ausncia de
outras regras), o axioma da escolha soa bastante arbitrrio.
Esta, no entanto, no a nica polmica na qual ele est envolvido.
As investigaes do sculo XX demonstraram a independncia do axioma da escolha
em relao aos demais axiomas da teoria dos conjuntos, o que significa que aquele axioma
consistente com os demais, mas a sua negao tambm o .
Alm disso, utilizando o axioma da escolha, foi demonstrado que seria possvel dividir
uma esfera em um nmero finito de pedaos e, com estes pedaos, construir duas novas

http://periodicoinvestigacaofilosofica.blogspot.com.br

IF

103

Investigao Filosfica, Edio Especial do I Encontro Investigao Filosfica, 2015. (ISSN: 2179-6742)
Artigos / Articles

esferas do mesmo tamanho da original. Este resultado, que evidencia um absurdo fsico,
chamado de paradoxo de Banach-Tarski.
Voltemos, agora, ao desafio de definir a multiplicao no caso de infinitos fatores. E,
primeira vista, a tarefa simples: semelhana do que fizemos nos casos anteriores, para cada
nmero cardinal, estabelecemos uma classe com o nmero de elementos correspondente.
Depois, definimos a multiplicao entre infinitos fatores como a classe consistindo de todas as
n-uplas ordenadas (isto , de todas as sequncias ordenadas de n elementos - no caso
especfico, com n igual a infinito) possveis de serem formadas com primeira componente na
primeira classe, segunda componente na segunda classe, terceira componente na terceira
classe etc. (dado que tenhamos definido uma primeira, segunda, terceira etc. classes).
Mas o que, no caso, garante a existncia da primeira (e das demais) n-upla(s)
ordenada(s), seno o axioma da escolha?
De fato, sem o axioma da escolha, no somos capazes de assegurar sequer a existncia
de uma classe de escolha, pelo que no podemos formar a classe de todas as n-uplas
ordenadas definidora da multiplicao com infinitos fatores.
Fica assim demonstrada a necessidade do axioma da escolha na definio da
multiplicao com infinitos fatores.
Referncias Bibliogrficas:
RUSSELL, B. Introduo Filosofia Matemtica.. Traduo e notas de Augusto J. Franco de
Oliveira. Centro de Estudos de Histria e Filosofia da Cincia da Universidade de vora.
2006.
WHITEHEAD, A; RUSSELL, B. Principia Mathematica. Volume 1. Cambridge, U.P. 1968.
] WHITEHEAD, A; RUSSELL, B. Principia Mathematica. Volume Three. Merchand Books.
2009.
ZERMELO, E. Proof that every set can be well ordered. In: From Frege to Gdel: a Source
Book in Mathematical Logic, 1879-1931. Harvard University Press. 1967.
ZERMELO, E. A New Proof of the Possibility of a Well Ordering. In: From Frege to Gdel: a
Source Book in Mathematical Logic, 1879-1931. Harvard University Press. 1967.

http://periodicoinvestigacaofilosofica.blogspot.com.br

IF

104