 This was eventually the basis of the ramified theory of types, but in 1903 Russell still regarded the suggestion as harsh and artificial. As the footnote on p. 527 shows, he believed that the set of all propositions is a counterexample to Cantor’s theorem.