Martial Leroy

Panorama histórico de la teoría de conjuntos

Los trabajos en torno a la noción de infinito desembocaron en paradojas. Esto obligó a los matemáticos a formalizar la teoría de conjuntos. La axiomatización progresiva condujo al actual sistema ZFC, que, no obstante, presenta diversas insuficiencias a raíz de los trabajos de Kurt Gödel y Paul Cohen.