 An early response to the paradoxes of set theory (by Russell, who discovered one of them) was the development of type theory (see the appendix to Russell’s The Principles of Mathematics (1903) or Whitehead &amp; Russell’s Principia Mathematica (1910–1913).