text: Um die von ihm entdeckte Antinomie zu beheben, entwickelte Russell die Typentheorie, die in einer ersten Version in Principles of Mathematics (1903) veröffentlicht wurde und die er in seinem Werk Principia Mathematica (1910–1913) weiterentwickelte.