Principia mathematica, to *56 - Whitehead, Alfred North (Cambridge mathematical library, 1962)