Esta nueva rama de las matemáticas había sido creada por Georg Cantor y puesta en crisis por Bertrand Russell con el descubrimiento de su famosa paradoja sobre el conjunto de todos los conjuntos que no pertenecen a sí mismos.