Principia Mathematica, A.N. Whitehead and B. Russell. tr 2010, 4 (5).