https://www.storyofmathematics.com/20th_russell.html/
https://en.wikipedia.org/wiki/Principia_Mathematica