Couples rationnels : l'équation x²+xy+y²=2 | Tangente

Panorama de la teoría de conjuntos | Tangente

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.