1903/1908 entwickelte Bertrand Russell seine Typentheorie, in der Mengen stets einen höheren Typ als ihre Elemente haben, damit problematische Mengenbildungen unmöglich würden. Er wies den ersten Ausweg aus den Widersprüchen und zeigte in den Principia Mathematica von 1910–1913 auch ein Stück der Leistungsfähigkeit der angewandten Typentheorie. Letztlich erwies sie sich aber als unzulänglich für Cantors Mengenlehre und konnte sich wegen ihrer Kompliziertheit nicht durchsetzen.