Russel y Whitehead ya habían iniciado la tarea de la reducción de la matemática a la lógica.