Explora noções de infinito em lógica matemática, com tratamento de cardinalidade, ordinais e raciocínios formais que sustentam resultados sobre tamanhos infinitos.

Apresenta discussões sobre limites do infinito na teoria dos conjuntos e na semântica formal, acompanhadas por exemplos formais que ilustram conceitos centrais.

Relaciona questões técnicas sobre infinito aos fundamentos da matemática e a debates filosóficos sobre existência e demonstrabilidade.