Characteristica Universalis: https://en.wikipedia.org/wiki/Characteristica_universalis
The idea of a Characteristica Universalis between Leibniz and Russell, and its relevancy today: https://monasandnomos.org/2012/12/05/the-idea-of-a-characteristica-universalis-between-leibniz-and-russell-and-its-relevancy-today/
