Primero estableció el concepto de cardinalidad como una herramienta para comparar conjuntos finitos.