Uma Prova Topológica do Teorema de Ramsey

Abstract

Este texto apresenta uma demonstração do Teorema de Ramsey usual, usando a estrutura de um espaço topológico ultramétrico compacto, e pode ser usado como uma introdução à Teoria de Ramsey. Também fornece o contexto histórico para algumas das sutilezas de Lógica e Fundamentos envolvidas nos argumentos.