Adicionalmente, hizo aportaciones relevantes a la lógica matemática con su diagrama de conjuntos.