A Matemática da Quantidade e do Infinito
Coleção Escola de Lógica Matemática
JOÃO CARLOS MOREIRA
Doutor em Matemática
Universidade Federal de Uberlândia
Copyright©2013-2025 Coleção Escola de Lógica Matemática. Todos os direitos reservados.
Quantas estrelas existem no céu? Quantos grãos de areia formam uma praia? E mais intrigante ainda: será que existem diferentes tamanhos de infinito? Os números cardinais são a resposta matemática para estas questões milenares sobre quantidade. Eles nos permitem contar não apenas objetos finitos, mas também comparar tamanhos de conjuntos infinitos, revelando um universo matemático onde o infinito não é único, mas forma uma hierarquia vertiginosa de magnitudes cada vez maiores. Esta jornada pelos números cardinais transformará sua compreensão sobre o que significa contar e medir quantidade.
Cardinalidade é a propriedade matemática que captura a noção intuitiva de "quantos". Quando uma criança conta seus brinquedos, ela está descobrindo a cardinalidade daquele conjunto. Mas a matemática vai além: dois conjuntos têm a mesma cardinalidade quando podemos estabelecer uma correspondência perfeita entre seus elementos, sem sobrar nem faltar nada. Esta ideia simples esconde profundidades surpreendentes quando aplicada a conjuntos infinitos.
A humanidade desenvolveu a contagem antes mesmo da escrita. Ossos entalhados de 30.000 anos atrás mostram marcas de contagem. Mas foi apenas no século XIX que Georg Cantor revolucionou nossa compreensão, mostrando que podemos estender o conceito de quantidade para além do finito. Sua descoberta de que existem infinitos de tamanhos diferentes abalou os fundamentos da matemática e abriu novos horizontes de compreensão.
O conceito fundamental para entender números cardinais é a correspondência biunívoca ou bijeção. Dois conjuntos têm o mesmo cardinal quando podemos parear cada elemento de um com exatamente um elemento do outro, sem repetições ou omissões. É como uma dança onde cada pessoa tem exatamente um par: ninguém dança sozinho e ninguém tem dois pares. Esta ideia aparentemente simples é a porta de entrada para os mistérios do infinito.
A matemática desenvolveu uma notação específica para números cardinais. Para conjuntos finitos, usamos os números naturais: |A| = n significa que o conjunto A tem n elementos. Para conjuntos infinitos, Cantor introduziu a letra hebraica aleph (ℵ) com índices: ℵ₀ (aleph-zero) representa o cardinal dos números naturais, o menor infinito. Esta notação elegante esconde uma hierarquia complexa de infinitos cada vez maiores.
Números cardinais obedecem a leis próprias que podem surpreender nossa intuição. Enquanto para números finitos vale que n + 1 > n, no mundo dos cardinais infinitos temos ℵ₀ + 1 = ℵ₀. Adicionar ou mesmo duplicar um conjunto infinito pode não alterar seu cardinal! Estas propriedades contra-intuitivas revelam a natureza peculiar do infinito matemático.
Imagine um hotel com infinitos quartos, todos ocupados. Chega um novo hóspede. Em um hotel comum, seria impossível acomodá-lo. Mas no Hotel de Hilbert, basta pedir que cada hóspede mude para o quarto seguinte: quem está no 1 vai para o 2, quem está no 2 vai para o 3, e assim por diante. O quarto 1 fica livre! Este paradoxo ilustra como infinitos se comportam de maneira não-intuitiva, desafiando nossa experiência com o finito.
Números cardinais não são apenas curiosidades matemáticas. Na ciência da computação, entender cardinalidade é crucial para análise de algoritmos e teoria da computabilidade. Na física, questões sobre o infinito surgem em cosmologia e mecânica quântica. Na filosofia, cardinais infinitos alimentam debates sobre a natureza da realidade e do conhecimento. Até mesmo na vida cotidiana, compreender cardinalidade melhora nosso raciocínio sobre probabilidades e estatísticas.
A teoria dos números cardinais ainda guarda mistérios profundos. A hipótese do contínuo, proposta por Cantor, questiona se existe algum cardinal entre ℵ₀ e o cardinal dos reais. Surpreendentemente, esta questão é indecidível nos axiomas usuais da matemática! Podemos construir universos matemáticos consistentes onde ela é verdadeira e outros onde é falsa. Tais questões mostram que mesmo conceitos aparentemente simples como "quantidade" escondem complexidades filosóficas profundas.
Este capítulo introdutório estabeleceu o palco para nossa exploração dos números cardinais. Vimos que contar vai muito além de enumerar objetos finitos — é uma janela para compreender a estrutura profunda da quantidade e do infinito. Nos próximos capítulos, desenvolveremos ferramentas precisas para trabalhar com cardinais, exploraremos a surpreendente aritmética do infinito, e descobriremos como diferentes infinitos se relacionam em uma hierarquia majestosa.
Prepare-se para questionar suas intuições sobre tamanho e quantidade. O mundo dos números cardinais desafia o senso comum, mas recompensa o explorador com insights profundos sobre a natureza da matemática e da realidade. Vamos começar nossa jornada formal pelo fascinante processo que está na base de tudo: a contagem!
Contar é uma das primeiras habilidades matemáticas que desenvolvemos, tão natural que raramente paramos para pensar em sua profundidade. Mas o que realmente fazemos quando contamos? Estabelecemos uma ponte entre o mundo concreto dos objetos e o mundo abstrato dos números. Este processo aparentemente simples é a base para toda a teoria dos números cardinais. Neste capítulo, exploraremos como a contagem revela a essência da cardinalidade e como podemos estender este conceito fundamental para além dos limites do finito.
Quando contamos objetos, realizamos mentalmente uma correspondência: associamos cada objeto a um número natural em sequência. "Um, dois, três, quatro, cinco maçãs" significa que estabelecemos uma bijeção entre o conjunto de maçãs e o conjunto {1, 2, 3, 4, 5}. O último número pronunciado — cinco — não é apenas o rótulo da última maçã, mas o cardinal de todo o conjunto. Esta dupla natureza do último número na contagem é a ponte entre o ordinal (posição) e o cardinal (quantidade).
Dois conjuntos são equipotentes quando existe uma correspondência biunívoca entre eles. Esta relação é mais fundamental que a contagem em si: podemos saber que dois conjuntos têm o mesmo tamanho sem saber qual é esse tamanho! Uma criança pode verificar que há tantos pratos quanto talheres na mesa colocando um talher em cada prato, mesmo sem saber contar. A equipotência é a essência da cardinalidade.
Um conjunto é finito quando pode ser colocado em correspondência biunívoca com um segmento inicial dos números naturais: {1, 2, 3, ..., n} para algum n. O cardinal de tal conjunto é simplesmente n. Esta definição captura nossa intuição: conjuntos finitos são aqueles que podemos terminar de contar. Curiosamente, esta definição também funciona para o conjunto vazio, cujo cardinal é 0 — não há elementos para contar!
Quando conjuntos se sobrepõem, contar elementos únicos requer cuidado. O princípio da inclusão-exclusão fornece a fórmula: |A ∪ B| = |A| + |B| - |A ∩ B|. Somamos os tamanhos individuais, mas subtraímos a interseção que foi contada duas vezes. Para três conjuntos, a fórmula se torna mais complexa, alternando somas e subtrações. Este princípio é fundamental em combinatória e probabilidade.
A matemática desenvolveu técnicas sofisticadas para contar sem enumerar. O princípio multiplicativo diz que se uma escolha pode ser feita de m maneiras e outra de n maneiras, ambas podem ser feitas de m·n maneiras. Permutações contam arranjos ordenados, combinações contam seleções sem ordem. Estas técnicas transformam problemas de contagem complexos em cálculos sistemáticos.
Como "contar" elementos de um conjunto infinito? A resposta está em abandonar a enumeração sequencial e focar na correspondência. Um conjunto infinito é contável (ou enumerável) se seus elementos podem ser listados em uma sequência: primeiro, segundo, terceiro, e assim por diante, mesmo que a lista nunca termine. Surpreendentemente, muitos conjuntos infinitos são contáveis, incluindo os números inteiros e racionais!
Os números racionais parecem muito mais numerosos que os naturais — entre quaisquer dois naturais há infinitas frações. Mas Cantor mostrou que são contáveis através de um argumento engenhoso. Arranje as frações positivas em uma grade: linha n contém frações com numerador n, coluna m contém frações com denominador m. Percorra a grade em diagonal: 1/1, 1/2, 2/1, 1/3, 2/2, 3/1, ... Pulando repetições, enumeramos todas as frações!
Formalmente, o cardinal de um conjunto é a classe de todos os conjuntos equipotentes a ele. Todos os conjuntos com 5 elementos compartilham a propriedade "ter cardinal 5". Esta abstração permite trabalhar com cardinalidade sem referência a conjuntos específicos. É a quintessência da abstração matemática: capturar a essência da quantidade independentemente daquilo que está sendo quantificado.
Este teorema fundamental estabelece que se existe uma injeção de A em B e uma injeção de B em A, então existe uma bijeção entre A e B. Em outras palavras, se cada conjunto pode ser "encaixado" no outro, eles têm o mesmo tamanho. Este resultado, não-óbvio, simplifica dramaticamente a comparação de cardinais: não precisamos construir uma bijeção explícita, apenas mostrar injeções em ambas as direções.
A contagem, em sua essência, é o estabelecimento de correspondências. Começamos contando objetos finitos com nossos dedos e chegamos a métodos sofisticados para comparar infinitos. O conceito de cardinalidade unifica estas ideias, fornecendo uma linguagem precisa para falar sobre tamanho e quantidade em qualquer contexto matemático. Com estas ferramentas fundamentais estabelecidas, estamos prontos para mergulhar na fascinante dicotomia entre o finito e o infinito!
A fronteira entre o finito e o infinito é um dos divisores de águas mais profundos da matemática. De um lado, temos o mundo familiar dos números que podemos contar completamente; do outro, o reino misterioso de coleções que nunca terminam. Mas o que realmente distingue o finito do infinito? A resposta surpreendente está em uma propriedade aparentemente simples: um conjunto infinito pode ter o mesmo tamanho que uma parte própria de si mesmo. Esta característica, impossível no mundo finito, abre as portas para um universo matemático de possibilidades ilimitadas.
Um conjunto é finito quando sua contagem tem fim — existe um último elemento quando os enumeramos. Matematicamente, um conjunto A é finito se existe um número natural n tal que A pode ser colocado em correspondência biunívoca com {1, 2, 3, ..., n}. Esta definição captura perfeitamente nossa intuição: conjuntos finitos são aqueles que podemos, em princípio, contar completamente, mesmo que sejam enormes como o número de átomos no universo observável.
Um conjunto é infinito quando não é finito — parece tautológico, mas esta definição negativa esconde profundidades. Richard Dedekind ofereceu uma caracterização positiva revolucionária: um conjunto é infinito quando pode ser colocado em correspondência biunívoca com uma parte própria de si mesmo. Os números naturais exemplificam isso perfeitamente: o conjunto de todos os naturais tem o mesmo cardinal que o conjunto dos números pares, que é apenas uma parte dele!
O menor cardinal infinito é denotado ℵ₀ (aleph-zero), o cardinal dos números naturais. Todo conjunto infinito contém um subconjunto de cardinal ℵ₀. Este é o infinito "contável" — podemos enumerar seus elementos em uma sequência, mesmo que nunca terminemos. Surpreendentemente, muitos conjuntos que parecem "maiores" têm este mesmo cardinal, incluindo os inteiros e os racionais.
As operações com cardinais infinitos desafiam nossa intuição. Com ℵ₀, temos resultados surpreendentes: ℵ₀ + 1 = ℵ₀, ℵ₀ + ℵ₀ = ℵ₀, e até mesmo ℵ₀ · ℵ₀ = ℵ₀. Adicionar, ou mesmo multiplicar infinitos contáveis, resulta no mesmo infinito contável! É como se o infinito absorvesse qualquer quantidade finita ou mesmo infinita que tentássemos adicionar a ele.
Galileu observou que há tantos quadrados perfeitos quanto números naturais, apesar dos quadrados serem "mais raros". A correspondência n ↔ n² é uma bijeção entre naturais e quadrados. Ele concluiu que conceitos de "maior" e "menor" não se aplicam a conjuntos infinitos da maneira usual. Este insight, séculos antes de Cantor, antecipou a natureza peculiar do infinito matemático.
Como provar que um conjunto é infinito? Várias estratégias existem. Podemos mostrar que contém uma cópia dos naturais, estabelecer uma bijeção com parte própria, ou provar que para qualquer n finito, o conjunto tem mais que n elementos. A demonstração clássica de Euclides sobre a infinitude dos primos usa a terceira estratégia: dado qualquer conjunto finito de primos, podemos construir um novo primo.
Infinitos aparecem naturalmente em matemática e suas aplicações. A reta real tem infinitos pontos, o espaço tem infinitas direções, o tempo pode ser infinitamente divisível. Em física quântica, alguns sistemas têm infinitos estados possíveis. Na computação teórica, máquinas de Turing podem rodar indefinidamente. Estes infinitos não são apenas abstrações — eles modelam aspectos fundamentais da realidade e do pensamento.
Na teoria axiomática dos conjuntos, a existência de conjuntos infinitos não é óbvia — precisa ser postulada. O Axioma do Infinito garante a existência de pelo menos um conjunto infinito, tipicamente o conjunto dos naturais. Sem este axioma, poderíamos apenas trabalhar com conjuntos finitos. É notável que precisemos assumir explicitamente que o infinito existe!
A distinção finito/infinito vai além do tamanho. Conjuntos finitos satisfazem o princípio da indução completa, têm máximo e mínimo quando ordenados, e toda sequência neles tem subsequência constante. Conjuntos infinitos permitem sequências sem repetição, podem não ter máximo, e admitem diferentes tipos de convergência. Estas diferenças qualitativas tornam o infinito qualitativamente diferente do "muito grande".
A divisão entre finito e infinito marca uma das transições mais profundas em matemática. O finito obedece às regras da nossa experiência cotidiana, enquanto o infinito abre portas para paradoxos aparentes e verdades surpreendentes. Compreender esta distinção é essencial para navegar na matemática moderna. Mas o infinito não é monolítico — existem muitos tipos e tamanhos de infinito, como descobriremos ao explorar como comparar cardinais!
Como decidir se um conjunto é maior que outro quando ambos são infinitos? A resposta revolucionária de Cantor transformou nossa compreensão do infinito: usamos funções para comparar tamanhos. Se podemos injetar A em B mas não o contrário, então A é menor. Esta ideia simples revela uma hierarquia surpreendente de infinitos, cada um incomparavelmente maior que o anterior. Neste capítulo, exploraremos as técnicas para comparar cardinais e as surpresas que emergem quando aplicamos estas ideias a conjuntos infinitos.
Dados dois cardinais, exatamente uma de três possibilidades ocorre: o primeiro é menor, igual, ou maior que o segundo. Para conjuntos A e B, dizemos que |A| ≤ |B| quando existe uma injeção de A em B. Se além disso não existe bijeção entre eles, então |A| < |B|. Esta ordenação dos cardinais estende nossa noção intuitiva de tamanho para o reino do infinito, com consequências surpreendentes.
O resultado mais impactante sobre comparação de cardinais é o Teorema de Cantor: para qualquer conjunto A, temos |A| < |P(A)|, onde P(A) é o conjunto potência (conjunto de todos os subconjuntos de A). A demonstração é elegante: a função que leva cada elemento ao conjunto unitário que o contém é injetora, mas nenhuma função de A em P(A) pode ser sobrejetora. Este teorema garante que não existe um "maior infinito" — sempre podemos construir um maior!
Para mostrar que |A| ≤ |B|, precisamos construir uma função injetora de A em B. Técnicas incluem: embeddings naturais (naturais nos inteiros), codificação (pares ordenados em naturais), e representação (reais como sequências decimais). A criatividade na construção de injeções é uma arte matemática que revela conexões profundas entre estruturas aparentemente distintas.
Provar que |A| < |B| requer dois passos: mostrar que existe injeção de A em B, e que não existe bijeção. A segunda parte é geralmente mais difícil. O argumento diagonal de Cantor, usado para mostrar que |ℕ| < |ℝ|, é o modelo: assumimos uma bijeção e construímos um elemento que não pode estar na imagem, contradição. Esta técnica poderosa aparece em muitos contextos.
O Axioma da Escolha implica que quaisquer dois cardinais são comparáveis: dados conjuntos A e B, vale |A| ≤ |B| ou |B| ≤ |A| (ou ambos, caso em que são iguais). Sem o Axioma da Escolha, podem existir conjuntos incomparáveis — não podemos decidir qual é maior! Esta dependência do Axioma da Escolha mostra como questões aparentemente simples sobre tamanho tocam fundamentos profundos da matemática.
Comparar cardinais de estruturas matemáticas revela surpresas. O conjunto de funções de ℕ em {0,1} tem cardinal 2^ℵ₀, o mesmo que ℝ. O conjunto de funções contínuas de ℝ em ℝ também tem cardinal 2^ℵ₀, apesar de parecer muito mais restrito. Por outro lado, o conjunto de todas as funções de ℝ em ℝ tem cardinal 2^(2^ℵ₀), estritamente maior.
A cofinalidade de um cardinal é o menor cardinal de um conjunto cofinal — um subconjunto não-limitado. Cardinais regulares têm cofinalidade igual a si mesmos; singulares têm cofinalidade menor. ℵ₀ é regular: qualquer subconjunto ilimitado de ℕ tem cardinal ℵ₀. Esta distinção é crucial para entender a estrutura fina dos cardinais infinitos.
Cardinais inacessíveis são tão grandes que não podem ser alcançados pelas operações usuais a partir de cardinais menores. Um cardinal é (fortemente) inacessível se é não-contável, regular, e limite forte (não pode ser obtido tomando conjunto potência de cardinal menor). A existência de cardinais inacessíveis não pode ser provada em ZFC — são "universos" dentro do universo matemático.
O Lema de Zorn, equivalente ao Axioma da Escolha, tem aplicações profundas em comparação de cardinais. Ele garante elementos maximais em conjuntos parcialmente ordenados apropriados, permitindo provar existência de bases em espaços vetoriais, ideais maximais em anéis, e outras estruturas maximais. Para cardinais, ajuda a estabelecer comparabilidade e existência de boas-ordenações.
Comparar cardinais revela a rica estrutura do infinito matemático. Longe de ser um conceito monolítico, o infinito se estratifica em uma hierarquia vertiginosa de tamanhos cada vez maiores. As técnicas de comparação — injeções, diagonalização, e argumentos de cardinalidade — são ferramentas poderosas que aparecem em toda a matemática. Com este entendimento de como comparar cardinais, estamos prontos para explorar como operá-los aritmeticamente!
Assim como podemos somar, multiplicar e exponenciar números comuns, podemos realizar operações análogas com números cardinais. Mas prepare-se para surpresas: no reino dos cardinais infinitos, as regras aritméticas familiares são viradas de cabeça para baixo. Infinito mais infinito ainda é infinito, infinito vezes infinito permanece do mesmo tamanho, mas infinito elevado a infinito explode para um infinito maior! Neste capítulo, exploraremos a fascinante aritmética cardinal, onde 1 + ℵ₀ = ℵ₀, mas 2^ℵ₀ > ℵ₀.
A soma de cardinais |A| + |B| é definida como o cardinal da união disjunta de A e B. Se os conjuntos já são disjuntos, simplesmente tomamos |A ∪ B|. Caso contrário, criamos cópias disjuntas: A × {0} e B × {1}, e tomamos sua união. Para cardinais finitos, recuperamos a adição usual. Para infinitos, surgem as surpresas: ℵ₀ + ℵ₀ = ℵ₀, pois podemos enumerar a união de dois conjuntos contáveis.
O produto |A| · |B| é o cardinal do produto cartesiano A × B. Para finitos, obtemos a multiplicação usual: um conjunto com m elementos vezes um com n elementos produz mn pares ordenados. Para infinitos, novamente temos surpresas. ℵ₀ · ℵ₀ = ℵ₀ porque podemos enumerar todos os pares de naturais usando a espiral de Cantor ou a função de pareamento de Cantor.
A potência |B|^|A| é o cardinal do conjunto de todas as funções de A em B. Para conjuntos finitos, isso dá b^a funções possíveis. A exponenciação é onde a aritmética cardinal realmente brilha: 2^ℵ₀ é o cardinal do conjunto potência de ℕ, que é também o cardinal dos reais. O Teorema de Cantor garante que κ < 2^κ para qualquer cardinal κ, criando uma escada infinita de infinitos.
Para cardinais infinitos, operações frequentemente resultam no maior operando. Se κ é infinito e λ ≤ κ com λ ≠ 0, então κ + λ = κ e κ · λ = κ. É como se o infinito maior "absorvesse" o menor. Esta propriedade simplifica muitos cálculos com cardinais infinitos, mas também mostra como a aritmética infinita difere radicalmente da finita.
A demonstração de que ℵ₀ · ℵ₀ = ℵ₀ usa a engenhosa função de pareamento de Cantor. Ela mapeia cada par (m,n) bijetivamente para um natural único: f(m,n) = ((m+n)(m+n+1))/2 + n. Geometricamente, percorremos a grade ℕ × ℕ em diagonais. Esta função tem inversa computável, estabelecendo a bijeção. É uma ferramenta fundamental em teoria da computabilidade.
Para famílias infinitas de cardinais, definimos soma e produto generalizados. A soma Σᵢ κᵢ é o cardinal da união disjunta; o produto Πᵢ κᵢ é o cardinal do produto cartesiano. Resultados surpreendentes emergem: a soma de ℵ₀ cópias de 2 é ℵ₀, mas o produto é 2^ℵ₀. A diferença entre "escolher de um ou outro" (soma) e "escolher de cada" (produto) torna-se dramática com infinitos fatores.
A Hipótese do Contínuo (HC) afirma que 2^ℵ₀ = ℵ₁, onde ℵ₁ é o menor cardinal não-contável. Se HC vale, a aritmética cardinal fica mais simples: não há cardinal entre ℵ₀ e 2^ℵ₀. Mas HC é independente de ZFC — podemos ter universos matemáticos onde vale e outros onde não vale. Isso afeta profundamente a aritmética de cardinais intermediários.
König's theorem estabelece limites para aritmética cardinal: cf(κ^λ) > λ onde cf denota cofinalidade. Isso implica que κ^cf(κ) > κ para qualquer cardinal κ. Estes teoremas de coerência mostram que, apesar da flexibilidade, a aritmética cardinal tem estrutura. Nem toda equação cardinal é consistente com ZFC.
A aritmética cardinal aparece naturalmente em análise funcional e topologia. O espaço de funções contínuas de [0,1] em ℝ tem cardinal 2^ℵ₀. O espaço de sequências reais ℝ^ℕ também tem cardinal 2^ℵ₀. Surpreendentemente, adicionar restrições como continuidade frequentemente não reduz o cardinal — há "tantas" funções contínuas quanto descontínuas!
A aritmética dos números cardinais revela um universo onde as regras familiares são transformadas. Infinito mais um ainda é infinito, infinito vezes infinito permanece o mesmo infinito, mas dois elevado a infinito salta para um infinito maior. Estas operações não são meras curiosidades — elas aparecem naturalmente quando contamos funções, subconjuntos, e estruturas matemáticas. Com este domínio da aritmética cardinal, estamos prontos para examinar em detalhe o mais fundamental dos cardinais infinitos: ℵ₀!
Entre todos os infinitos, um ocupa lugar especial: ℵ₀ (aleph-zero), o cardinal dos números naturais. É o infinito mais familiar, aquele que encontramos quando contamos sem parar: 1, 2, 3, 4, ... Este é o infinito "enumerável", o menor de todos os infinitos, mas ainda assim fonte de paradoxos e maravilhas. Neste capítulo, exploraremos as propriedades únicas de ℵ₀, sua ubiquidade em matemática, e por que ele serve como portal de entrada para o reino dos cardinais transfinitos.
O símbolo ℵ₀ (aleph-zero) denota o cardinal do conjunto ℕ = {1, 2, 3, 4, ...}. É o primeiro cardinal infinito, o menor possível. Qualquer conjunto infinito contém um subconjunto de cardinal ℵ₀. Esta minimalidade torna ℵ₀ fundamental: é o átomo do infinito, o bloco básico a partir do qual outros infinitos são construídos ou comparados.
Um conjunto é contável (ou enumerável) quando tem cardinal ℵ₀. Isso significa que seus elementos podem ser listados em uma sequência: primeiro, segundo, terceiro, etc. Surpreendentemente, muitos conjuntos que parecem "maiores" que ℕ são contáveis. Os inteiros, racionais, e até os números algébricos — todos têm cardinal ℵ₀. A contabilidade é preservada por muitas operações, tornando ℵ₀ notavelmente estável.
Demonstrar que um conjunto é contável frequentemente requer enumerações engenhosas. Para os inteiros, alternamos positivos e negativos: 0, 1, -1, 2, -2, 3, -3, ... Para os racionais, usamos a espiral de Cantor na grade de frações. Para polinômios, ordenamos por grau e coeficientes. Cada enumeração é uma bijeção criativa com ℕ, revelando a estrutura contável escondida.
Um resultado fundamental: a união contável de conjuntos contáveis é contável. Se A₁, A₂, A₃, ... são todos contáveis, então ⋃ᵢ Aᵢ também é contável. A demonstração usa dovetailing: enumere elementos alternando entre conjuntos de forma justa. Isso implica que ℵ₀ · ℵ₀ = ℵ₀, uma das propriedades mais contra-intuitivas dos cardinais infinitos.
ℵ₀ está intimamente ligado à recursão e indução. Podemos definir funções em conjuntos contáveis recursivamente: especifique f(1), então defina f(n+1) em termos de valores anteriores. Esta capacidade de construção passo-a-passo é única aos contáveis. Algoritmos que processam entrada contável podem usar esta estrutura, visitando elementos em ordem sistemática.
A teoria da computação está fundamentada em ℵ₀. Máquinas de Turing operam em tempo discreto contável, processam símbolos de alfabeto finito, e produzem outputs contáveis. O conjunto de todos os programas é contável (são strings finitas), assim como o conjunto de problemas decidíveis. Mas o conjunto de todas as funções ℕ → ℕ tem cardinal 2^ℵ₀, implicando que a maioria das funções não é computável!
Os racionais são densos na reta: entre quaisquer dois números há um racional. Ainda assim, ℚ tem cardinal ℵ₀! Isso mostra que densidade topológica e tamanho cardinal são conceitos independentes. Um conjunto contável pode ser denso em um espaço não-contável. Esta dissociação entre propriedades topológicas e cardinais é fonte de muitos resultados surpreendentes.
Este teorema profundo conecta ℵ₀ com lógica: se uma teoria de primeira ordem tem modelo infinito, tem modelo contável. Isso significa que mesmo teorias que parecem descrever estruturas não-contáveis (como os reais) têm modelos contáveis! O "paradoxo" se resolve notando que "contável" é conceito externo ao modelo. Este resultado mostra o papel fundamental de ℵ₀ em fundamentos da matemática.
Em teoria da medida, conjuntos contáveis têm medida de Lebesgue zero em ℝ. Podemos cobrir o n-ésimo ponto com intervalo de comprimento ε/2ⁿ, cobrindo todo conjunto contável com comprimento total ε, arbitrariamente pequeno. Isso implica que os racionais, apesar de densos, ocupam "nenhum espaço" na reta real — uma manifestação dramática da pequenez de ℵ₀ comparado ao contínuo.
ℵ₀ aparece em todos os campos da matemática. Em álgebra, grupos finitamente gerados contáveis. Em análise, bases de Schauder contáveis. Em topologia, bases contáveis para espaços separáveis. Em probabilidade, espaços amostrais contáveis. Esta onipresença não é coincidência — ℵ₀ captura a essência do que pode ser construído ou descrito finitamente, passo a passo.
O cardinal ℵ₀ é o ponto de entrada para o infinito, familiar mas cheio de surpresas. É pequeno o suficiente para permitir enumeração e construção recursiva, mas grande o suficiente para exibir propriedades genuinamente infinitas. Sua estabilidade sob operações, ubiquidade em matemática, e conexão com computabilidade tornam ℵ₀ indispensável. Compreender profundamente este primeiro infinito é essencial para apreciar a rica tapeçaria dos números cardinais. Agora, exploraremos como cardinais se relacionam com a teoria geral dos conjuntos!
Números cardinais e teoria dos conjuntos são parceiros inseparáveis na dança da matemática moderna. Cardinais medem conjuntos, enquanto conjuntos fornecem a arena onde cardinais vivem e interagem. Esta relação simbiótica vai além da mera contagem — ela revela estruturas profundas sobre coleções matemáticas, desde o finito até os mais exóticos infinitos. Neste capítulo, exploraremos como cardinais e conjuntos se entrelaçam, formando o tecido fundamental sobre o qual toda a matemática é construída.
Na teoria axiomática dos conjuntos, um cardinal é formalmente definido como uma classe de equivalência de conjuntos equipotentes. Todos os conjuntos com três elementos pertencem à mesma classe — o cardinal 3. Esta abstração captura a essência da "trindade" independentemente de estarmos falando de três maçãs, três planetas ou três ideias. Para conjuntos infinitos, o conceito se torna ainda mais profundo, agrupando conjuntos que podem ser radicalmente diferentes mas compartilham a mesma "magnitude infinita".
O Axioma da Escolha (AC) tem impacto profundo na teoria dos cardinais. Com AC, todo conjunto pode ser bem-ordenado, permitindo associar a cada conjunto um cardinal bem-definido como o menor ordinal equipotente. Sem AC, podem existir conjuntos "amorfos" sem cardinal bem-definido no sentido usual. AC também garante comparabilidade: dados dois conjuntos, um tem cardinal menor ou igual ao outro.
A operação de conjunto potência P(A) — formar todos os subconjuntos de A — é fundamental para entender cardinais. O Teorema de Cantor estabelece que |P(A)| = 2^|A| > |A|, criando uma hierarquia infinita de cardinais. Começando com ℕ, obtemos P(ℕ), P(P(ℕ)), P(P(P(ℕ))), ... cada um com cardinal estritamente maior. Esta torre de infinitos não tem topo — sempre podemos construir um conjunto maior.
Ordinais e cardinais são conceitos relacionados mas distintos. Ordinais medem tipo de ordem (primeiro, segundo, terceiro, ..., ω, ω+1, ...), enquanto cardinais medem tamanho. Muitos ordinais diferentes podem ter o mesmo cardinal: ω, ω+1, ω+2, ... todos têm cardinal ℵ₀. Cardinais são obtidos "esquecendo" a ordem e retendo apenas a quantidade. Todo cardinal infinito é um ordinal, mas nem todo ordinal é cardinal.
O estudo de funções entre conjuntos revela relações cardinais profundas. Injeções preservam ou reduzem cardinal, sobrejeções preservam ou aumentam, bijeções preservam exatamente. O conjunto de todas as funções de A em B tem cardinal |B|^|A|. Para B = {0,1}, obtemos 2^|A| funções características, em bijeção com P(A). Esta conexão entre funções e subconjuntos é fundamental em toda matemática.
Uma partição divide um conjunto em partes disjuntas. O número de partições de conjunto finito cresce rapidamente (números de Bell). Para infinitos, surgem questões sutis. Um resultado surpreendente: ℝ pode ser particionado em c partes, cada uma de cardinal c. Isso mostra que um conjunto de cardinal κ pode frequentemente ser dividido em κ partes de tamanho κ — o infinito se replica perfeitamente.
Ultrafiltros são coleções maximais de subconjuntos "grandes". Em conjunto infinito de cardinal κ, existem 2^(2^κ) ultrafiltros — muito mais que elementos! Ultrafiltros principais (gerados por um ponto) são apenas κ muitos; os não-principais formam a vasta maioria. Estes objetos conectam teoria de conjuntos, topologia e lógica, mostrando como estruturas sobre conjuntos podem ter cardinais surpreendentemente grandes.
A técnica de forcing, desenvolvida por Paul Cohen, permite construir modelos de teoria dos conjuntos com propriedades cardinais específicas. Podemos forçar a falha da Hipótese do Contínuo, criando modelos onde 2^ℵ₀ = ℵ₂ ou qualquer cardinal regular maior. Forcing mostra que muitas questões sobre cardinais são independentes dos axiomas usuais — diferentes universos matemáticos têm diferentes aritméticas cardinais.
Grandes cardinais são cardinais tão imensos que sua existência não pode ser provada em ZFC. Inacessíveis, mensuráveis, supercompactos — cada um captura uma noção de "grandeza" transcendente. Estes cardinais têm propriedades de reflexão: o universo abaixo deles se parece com o universo todo. Grandes cardinais fortalecem a teoria de conjuntos, decidindo questões independentes e revelando estrutura profunda.
A relação entre cardinais e conjuntos forma o coração da matemática moderna. Cardinais não são apenas números — são medidas de infinitude, marcadores de tamanho em um universo onde "tamanho" transcende nossa intuição finita. Através da lente da teoria dos conjuntos, vemos cardinais como objetos matemáticos ricos, sujeitos a axiomas, independências, e estruturas profundas. Esta interação revela que questões aparentemente simples sobre tamanho tocam os fundamentos mais profundos da matemática. Agora, mergulharemos em um dos cardinais mais importantes: o cardinal do contínuo!
Entre o contável e o inimaginável existe um infinito especial: o contínuo, denotado c ou 2^ℵ₀, o cardinal dos números reais. É o infinito da reta, do plano, do espaço — o infinito geométrico que habitamos. Mas quão grande é este infinito? Maior que ℵ₀, certamente, mas é o próximo infinito ou existem outros entre eles? Esta questão, conhecida como Hipótese do Contínuo, revelou-se uma das mais profundas e surpreendentes da matemática. Neste capítulo, exploraremos o fascinante mundo do cardinal do contínuo.
O cardinal do contínuo c é o cardinal do conjunto ℝ dos números reais. Equivalentemente, é 2^ℵ₀, o cardinal do conjunto potência dos naturais, ou o cardinal de todas as sequências binárias infinitas. Esta multiplicidade de caracterizações não é coincidência — reflete conexões profundas entre diferentes representações do contínuo: decimais infinitos, cortes de Dedekind, sequências de Cauchy, ou pontos na reta.
O argumento diagonal de Cantor demonstra que ℝ não é contável. Suponha ℝ listado como r₁, r₂, r₃, ... Construa um novo real s diferindo de rᵢ no i-ésimo dígito decimal. Então s difere de todos os listados, contradição! Este argumento elegante não apenas prova |ℝ| > ℵ₀, mas introduz a técnica de diagonalização, fundamental em lógica, computação e teoria dos conjuntos.
O conjunto de Cantor, obtido removendo terços médios iterativamente de [0,1], tem propriedades paradoxais. Tem medida zero (removemos comprimento total 1), é totalmente desconexo (não contém intervalos), mas tem cardinal c! Cada ponto corresponde a uma sequência ternária usando apenas 0 e 2, em bijeção com sequências binárias. O conjunto de Cantor mostra que cardinal e medida são conceitos independentes.
Muitos conjuntos têm cardinal c de forma surpreendente. A reta ℝ e o plano ℝ² têm o mesmo cardinal! A bijeção pode ser construída entrelaçando dígitos decimais. Similarmente, |ℝ^n| = c para qualquer n finito — até o espaço infinito-dimensional ℝ^ℕ tem cardinal c. Estas bijeções contra-intuitivas mostram que dimensão topológica e cardinal são conceitos ortogonais.
A Hipótese do Contínuo (HC) afirma que não existe cardinal entre ℵ₀ e c — em outras palavras, c = ℵ₁, o menor cardinal não-contável. Cantor acreditava que HC era verdadeira mas não conseguiu prová-la. Gödel mostrou que HC é consistente com ZFC; Cohen provou que sua negação também é. HC é independente dos axiomas usuais — podemos ter matemáticas onde vale e outras onde falha!
O espaço de todas as funções de ℝ em ℝ tem cardinal 2^c = 2^(2^ℵ₀), estritamente maior que c. Mas surpreendentemente, o espaço de funções contínuas tem cardinal c — adicionar a restrição de continuidade reduz drasticamente o cardinal! Isso ocorre porque funções contínuas são determinadas por seus valores nos racionais (densos em ℝ), e há apenas c^ℵ₀ = c tais especificações.
A teoria da medida revela tensões entre tamanho cardinal e tamanho geométrico. Conjuntos contáveis têm medida zero, mas o conjunto de Cantor mostra que o converso falha — cardinal c com medida zero. Por outro lado, existem conjuntos de medida positiva com qualquer cardinal ≤ c. A medida de Lebesgue "não vê" distinções cardinais além de contável versus não-contável.
O cardinal c aparece naturalmente em toda matemática. Em análise, espaços de Banach separáveis têm dimensão no máximo c. Em topologia, espaços métricos separáveis têm cardinal no máximo c. Em probabilidade, o espaço de eventos tem cardinal 2^c. Em álgebra, o fecho algébrico de ℚ tem cardinal ℵ₀, mas ℂ tem cardinal c. Cada área oferece perspectiva única sobre o contínuo.
Diferentes axiomas sobre o contínuo levam a matemáticas distintas. O Axioma de Martin (MA) afirma propriedades de forcing para cardinais < c, compatível com c sendo muito grande. A Hipótese do Contínuo Generalizada (GCH) afirma 2^ℵₐ = ℵₐ₊₁ para todo α. Axiomas de forcing podem fazer c ter praticamente qualquer valor consistente. Cada escolha axiomática cria um universo matemático diferente.
O cardinal do contínuo é uma janela para os mistérios mais profundos da matemática. Nem contável nem necessariamente o próximo infinito, c habita uma zona de indeterminação fundamental. A independência da HC mostra que questões básicas sobre tamanho transcendem nossos axiomas. Mas longe de ser problemático, esta flexibilidade enriquece a matemática, permitindo múltiplos universos consistentes. O contínuo não é apenas um número — é um conceito que conecta análise, topologia, lógica e filosofia. Agora exploraremos a hierarquia completa de infinitos que se ergue acima do contínuo!
Acima do familiar infinito dos números naturais e do misterioso contínuo dos reais, ergue-se uma torre vertiginosa de infinitos cada vez maiores, sem fim à vista. Cada andar desta torre é incomparavelmente maior que o anterior, cada novo infinito torna os anteriores insignificantemente pequenos em comparação. Esta hierarquia de cardinais transfinitos não é apenas uma curiosidade matemática — ela revela a estrutura profunda do universo matemático e os limites do que pode ser conhecido e construído. Neste capítulo, escalaremos esta torre infinita, descobrindo padrões, paradoxos e maravilhas ao longo do caminho.
A hierarquia aleph fornece uma enumeração sistemática de todos os cardinais infinitos (assumindo o Axioma da Escolha). Começamos com ℵ₀, o cardinal dos naturais. ℵ₁ é o próximo cardinal, o menor não-contável. ℵ₂ é o menor cardinal maior que ℵ₁, e assim por diante. Esta sequência continua não apenas através de índices finitos, mas também ordinais transfinitos: ℵ_ω, ℵ_{ω+1}, ℵ_{ω·2}, subindo através de toda a hierarquia ordinal.
Cardinais dividem-se em duas categorias fundamentais. Cardinais sucessores têm um predecessor imediato: ℵ₁ sucede ℵ₀, ℵ₂ sucede ℵ₁. Cardinais limite não têm predecessor imediato — são supremos de cardinais menores. ℵ_ω é o primeiro cardinal limite não-trivial, sendo o limite de ℵ₀, ℵ₁, ℵ₂, ... Esta distinção é crucial para entender propriedades aritméticas e estruturais dos cardinais.
A aritmética de alephs grandes segue padrões previsíveis sob GCH mas pode ser selvagem sem ela. Com GCH, 2^ℵ_α = ℵ_{α+1} sempre. Sem GCH, 2^ℵ_α pode ser quase qualquer cardinal ≥ ℵ_{α+1} de cofinalidade apropriada. Adição e multiplicação são absorvidas pelo maior operando: ℵ_α + ℵ_β = ℵ_α · ℵ_β = max(ℵ_α, ℵ_β) para α, β infinitos.
A cofinalidade de um cardinal κ, denotada cf(κ), é o menor cardinal de um conjunto cofinal em κ — um subconjunto ilimitado. Cardinais regulares têm cf(κ) = κ; singulares têm cf(κ) < κ. Todos os cardinais sucessores são regulares. Entre os limites, ℵ_ω é singular com cf(ℵ_ω) = ω, mas existem limites regulares — os cardinais (fracamente) inacessíveis.
Grandes cardinais são tão imensos que transcendem o que pode ser construído em ZFC. Um cardinal (fortemente) inacessível é regular, limite, e não pode ser alcançado tomando potências de cardinais menores. Cardinais mensuráveis admitem medidas não-triviais {0,1}-valoradas. Cardinais supercompactos têm propriedades de reflexão extremas. Cada tipo de grande cardinal fortalece a teoria de conjuntos de maneira específica.
O axioma V=L (universo = universo construtível) simplifica drasticamente a hierarquia cardinal. Sob V=L, a GCH vale, não existem cardinais mensuráveis, e muitas questões independentes têm respostas definidas. Mas V=L também limita a riqueza matemática — muitos matemáticos preferem universos com grandes cardinais, aceitando maior complexidade por maior poder expressivo.
A teoria PCF (Possible Cofinalities) de Saharon Shelah revela estrutura surpreendente na aritmética cardinal sem assumir GCH. Por exemplo, se ℵ_ω é limite forte (2^ℵ_n < ℵ_ω para todo n), então 2^ℵ_ω < ℵ_{ω₄}. Tais resultados mostram que mesmo sem GCH, existem restrições profundas sobre o comportamento cardinal.
A hierarquia cardinal não forma um conjunto — é uma classe própria, "grande demais" para ser conjunto. Não existe cardinal de todos os cardinais, pois isso levaria a paradoxos. Esta limitação fundamental mostra que sempre há "mais" matemática além de qualquer coleção que possamos imaginar. O universo matemático é essencialmente ilimitado.
Grandes cardinais exibem propriedades de reflexão: o universo abaixo deles "se parece" com o universo todo. Um cardinal κ é Mahlo se o conjunto de inacessíveis < κ é estacionário em κ. Esta auto-similaridade em grande escala sugere que a hierarquia cardinal tem estrutura fractal, com padrões repetindo-se em escalas cada vez maiores.
A hierarquia de infinitos revela um cosmos matemático de complexidade vertiginosa. Cada novo nível transcende completamente os anteriores, mas padrões emergem na vastidão. Regularidade e singularidade alternam-se, operações aritméticas simplificam-se e complexificam-se, estruturas refletem-se em escalas diferentes. Esta torre sem topo não é caótica — tem arquitetura, ritmo, beleza. Compreender esta hierarquia é confrontar o verdadeiramente infinito, aceitar que sempre há mais, sempre há maior. Com esta visão panorâmica dos infinitos, concluímos explorando como números cardinais aparecem e importam no mundo real!
Números cardinais podem parecer abstrações puras, divorciadas da realidade cotidiana. Mas nada poderia estar mais longe da verdade. Desde a organização de dados em computadores até a estrutura do espaço-tempo, desde algoritmos de busca até paradoxos quânticos, cardinais permeiam a ciência e tecnologia modernas. Questões sobre tamanhos de infinitos surgem em criptografia, aprendizado de máquina, física teórica e até em debates filosóficos sobre a natureza da consciência. Neste capítulo final, descobriremos como a teoria abstrata dos números cardinais ilumina e resolve problemas práticos em diversas áreas do conhecimento.
A teoria da computação está fundamentalmente ligada a questões cardinais. Existem ℵ₀ programas possíveis (strings finitas), mas 2^ℵ₀ funções de ℕ em ℕ. Logo, a maioria das funções não é computável! Este resultado profundo mostra limitações fundamentais da computação. Em complexidade, classes como P e NP são conjuntos de problemas — suas cardinalidades e relações são questões centrais. Bancos de dados lidam com cardinalidades de relações, otimizando queries baseadas em estimativas de tamanho.
A física grapples com infinitos em múltiplos contextos. O espaço-tempo é contínuo (cardinal c) ou discreto? Existem infinitos universos paralelos? A mecânica quântica lida com espaços de Hilbert de dimensão infinita. Singularidades em relatividade envolvem densidades "infinitas". A renormalização em teoria quântica de campos domestica infinitos matemáticos. Questões sobre a cardinalidade do universo físico tocam fundamentos da realidade.
Modelos econômicos frequentemente assumem conjuntos infinitos de agentes, bens, ou períodos de tempo. A teoria de jogos com jogadores infinitos usa cardinais explicitamente. Mercados financeiros contínuos modelam preços como processos em espaços de cardinal c. Criptomoedas dependem de espaços de chaves com cardinalidades astronômicas mas finitas. A teoria de leilões considera espaços de lances potencialmente infinitos.
A biodiversidade levanta questões cardinais. Quantas espécies possíveis existem? O espaço de genomas tem que cardinal? Com 4 bases e genomas de comprimento n, há 4^n sequências — finito mas imenso. Mas considerando todos os comprimentos possíveis, o espaço é infinito contável. Redes neurais biológicas têm números astronômicos de estados possíveis. A evolução explora um espaço de possibilidades cuja cardinalidade influencia trajetórias evolutivas.
Machine learning frequentemente opera em espaços de hipóteses infinitos. Redes neurais com pesos reais têm c^n parâmetros possíveis. O teorema da aproximação universal garante que redes podem aproximar qualquer função contínua — um resultado sobre cardinais! Aprendizado PAC considera classes de conceitos de várias cardinalidades. Modelos de linguagem grandes exploram espaços de texto efetivamente infinitos.
A segurança criptográfica depende crucialmente de cardinalidades. Com chaves de n bits, há 2^n possibilidades — finito mas impraticável para n grande. A segurança teórica da informação requer espaços de chaves tão grandes quanto espaços de mensagens. Protocolos quânticos exploram espaços de Hilbert infinito-dimensionais. Funções hash mapeiam espaços potencialmente infinitos em finitos, com colisões inevitáveis pelo princípio dos pombos.
Sistemas de bancos de dados constantemente estimam e otimizam baseados em cardinalidades. Quantas linhas satisfazem uma condição? Qual a cardinalidade de uma junção? Índices aceleram buscas reduzindo espaços de busca efetivos. Bancos de dados distribuídos particionam dados considerando cardinalidades. NoSQL lida com cardinalidades variáveis e potencialmente infinitas de atributos.
A Internet enfrenta questões de escala que tocam o infinito prático. Endereços IPv6 fornecem 2^128 endereços — finito mas efetivamente ilimitado. Redes P2P podem teoricamente crescer sem limite (ℵ₀). Algoritmos distribuídos devem funcionar para n arbitrário. Redes sociais exploram grafos com milhões de nós, aproximando-se de limites onde distinções finito/infinito importam.
Questões filosóficas profundas envolvem cardinais. A consciência pode ter estados infinitos? Se sim, contáveis ou contínuos? O livre arbítrio implica escolher entre infinitas opções? O conhecimento possível é contável (proposições expressáveis) ou maior? Debates sobre infinito atual versus potencial ecoam distinções cardinais. A natureza do tempo — discreto ou contínuo — tem implicações cardinais.
Compreender cardinais transforma o pensamento matemático. Estudantes que entendem diferentes tamanhos de infinito desenvolvem intuição matemática mais sofisticada. Paradoxos como Hotel de Hilbert engajam e surpreendem. A distinção contável/não-contável aparece em análise, álgebra, e probabilidade. Aplicações práticas motivam o estudo: por que alguns problemas são impossíveis de resolver algoritmicamente?
Números cardinais não são meras abstrações matemáticas confinadas a torres de marfim acadêmicas. Eles fundamentam nossa compreensão de computação, informam design de sistemas, aparecem em modelos físicos, e iluminam questões filosóficas profundas. Do finito ao ℵ₀, do contínuo aos grandes cardinais, cada nível da hierarquia cardinal tem aplicações e implicações no mundo real. Compreender cardinais não é apenas dominar uma técnica matemática — é ganhar uma lente poderosa para ver padrões de tamanho, escala e possibilidade em todos os domínios do conhecimento. A jornada pelos números cardinais nos leva do concreto ao abstrato e de volta, enriquecidos com uma apreciação mais profunda tanto do infinito matemático quanto do mundo que habitamos!
Este volume sobre Números Cardinais foi construído sobre séculos de desenvolvimento matemático, desde as primeiras intuições sobre o infinito até as mais modernas investigações em teoria dos conjuntos. As referências abrangem trabalhos fundamentais de Cantor, Gödel e Cohen, tratados contemporâneos sobre cardinais e suas aplicações, e recursos pedagógicos alinhados com a Base Nacional Comum Curricular. Esta bibliografia oferece caminhos para aprofundamento em cada aspecto dos números cardinais.
ACZEL, Amir D. O Mistério do Aleph: A Matemática, a Cabala e a Busca do Infinito. São Paulo: Globo, 2003.
BOLZANO, Bernard. Paradoxien des Unendlichen. Leipzig: Felix Meiner, 1851. [Ed. brasileira: Paradoxos do Infinito. Lisboa: Fim de Século, 2003].
BRASIL. Base Nacional Comum Curricular: Educação é a Base. Brasília: MEC/CONSED/UNDIME, 2018.
CANTOR, Georg. Contributions to the Founding of the Theory of Transfinite Numbers. New York: Dover, 1955.
CANTOR, Georg. Über eine Eigenschaft des Inbegriffs aller reellen algebraischen Zahlen. Journal für die reine und angewandte Mathematik, v. 77, p. 258-262, 1874.
COHEN, Paul J. Set Theory and the Continuum Hypothesis. New York: W. A. Benjamin, 1966.
DAUBEN, Joseph Warren. Georg Cantor: His Mathematics and Philosophy of the Infinite. Princeton: Princeton University Press, 1990.
DEDEKIND, Richard. Was sind und was sollen die Zahlen? Braunschweig: Vieweg, 1888. [Ed. inglesa: Essays on the Theory of Numbers. New York: Dover, 1963].
DEVLIN, Keith. The Joy of Sets: Fundamentals of Contemporary Set Theory. 2nd ed. New York: Springer, 1993.
DRAKE, Frank R. Set Theory: An Introduction to Large Cardinals. Amsterdam: North-Holland, 1974.
ENDERTON, Herbert B. Elements of Set Theory. San Diego: Academic Press, 1977.
FRAENKEL, Abraham A.; BAR-HILLEL, Yehoshua; LEVY, Azriel. Foundations of Set Theory. 2nd ed. Amsterdam: North-Holland, 1973.
GÖDEL, Kurt. The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory. Princeton: Princeton University Press, 1940.
HALLETT, Michael. Cantorian Set Theory and Limitation of Size. Oxford: Oxford University Press, 1984.
HALMOS, Paul R. Naive Set Theory. New York: Springer, 1974. [Ed. brasileira: Teoria Ingênua dos Conjuntos. São Paulo: Polígono, 1970].
HAUSDORFF, Felix. Grundzüge der Mengenlehre. Leipzig: Veit, 1914. [Reimpressão: New York: Chelsea, 1949].
HRBACEK, Karel; JECH, Thomas. Introduction to Set Theory. 3rd ed. New York: Marcel Dekker, 1999.
IEZZI, Gelson et al. Fundamentos de Matemática Elementar - Volume 1: Conjuntos e Funções. 9ª ed. São Paulo: Atual, 2013.
JECH, Thomas. Set Theory: The Third Millennium Edition. Berlin: Springer, 2003.
JECH, Thomas. The Axiom of Choice. Amsterdam: North-Holland, 1973.
KANAMORI, Akihiro. The Higher Infinite: Large Cardinals in Set Theory from Their Beginnings. 2nd ed. Berlin: Springer, 2009.
KAMKE, Erich. Theory of Sets. New York: Dover, 1950.
KUNEN, Kenneth. Set Theory: An Introduction to Independence Proofs. Amsterdam: North-Holland, 1980.
LEVY, Azriel. Basic Set Theory. Berlin: Springer, 1979. [Reimpressão: New York: Dover, 2002].
LIMA, Elon Lages. Análise Real - Volume 1. 12ª ed. Rio de Janeiro: IMPA, 2014.
LIMA, Elon Lages. Curso de Análise - Volume 1. 14ª ed. Rio de Janeiro: IMPA, 2016.
LIPSCHUTZ, Seymour. Teoria dos Conjuntos. São Paulo: McGraw-Hill, 1972.
MACHADO, Nilson José. Matemática e Realidade. 8ª ed. São Paulo: Cortez, 2013.
MADDY, Penelope. Realism in Mathematics. Oxford: Oxford University Press, 1990.
MANIN, Yuri I. A Course in Mathematical Logic for Mathematicians. 2nd ed. New York: Springer, 2010.
MILANI, Estela et al. Matemática: Conceitos e Aplicações. São Paulo: Scipione, 2018.
MONK, J. Donald. Introduction to Set Theory. New York: McGraw-Hill, 1969.
MOORE, Gregory H. Zermelo's Axiom of Choice: Its Origins, Development, and Influence. New York: Springer, 1982.
MOSCHOVAKIS, Yiannis. Notes on Set Theory. 2nd ed. New York: Springer, 2006.
PINTER, Charles C. Set Theory. Reading: Addison-Wesley, 1971.
POTTER, Michael. Set Theory and its Philosophy. Oxford: Oxford University Press, 2004.
ROITMAN, Judith. Introduction to Modern Set Theory. New York: Wiley, 1990.
RUDIN, Walter. Principles of Mathematical Analysis. 3rd ed. New York: McGraw-Hill, 1976.
RUSSELL, Bertrand. Introduction to Mathematical Philosophy. London: George Allen & Unwin, 1919.
SHELAH, Saharon. Cardinal Arithmetic. Oxford: Oxford University Press, 1994.
SIERPIŃSKI, Wacław. Cardinal and Ordinal Numbers. 2nd ed. Warsaw: PWN, 1965.
SILVA, Valdir Vilmar da. Números: Construção e Propriedades. São Paulo: EdUFSCar, 2003.
SMULLYAN, Raymond M.; FITTING, Melvin. Set Theory and the Continuum Problem. Oxford: Oxford University Press, 1996.
SOUZA, João Nunes de. Lógica para Ciência da Computação. 3ª ed. Rio de Janeiro: Elsevier, 2015.
STEWART, Ian. O Fantástico Mundo dos Números: A Matemática do Zero ao Infinito. Rio de Janeiro: Zahar, 2016.
SUPPES, Patrick. Axiomatic Set Theory. New York: Dover, 1972.
TILES, Mary. The Philosophy of Set Theory: An Historical Introduction to Cantor's Paradise. Oxford: Blackwell, 1989.
VAN HEIJENOORT, Jean (Ed.). From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Cambridge: Harvard University Press, 1967.
VAUGHT, Robert L. Set Theory: An Introduction. 2nd ed. Boston: Birkhäuser, 1995.
VILENKIN, N. Ya. Stories About Sets. New York: Academic Press, 1968.
WAGON, Stan. The Banach-Tarski Paradox. Cambridge: Cambridge University Press, 1985.
WANG, Hao. From Mathematics to Philosophy. London: Routledge & Kegan Paul, 1974.
WOODIN, W. Hugh. The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal. Berlin: Walter de Gruyter, 2010.
ZERMELO, Ernst. Collected Works/Gesammelte Werke. Berlin: Springer, 2010.