https://9lib.org/document/yngnedxj-view-of-russell-s-multiplicative-axiom.html