El documento entra en la teoría de los tipos que se consideran los antecedentes históricos y conceptuales de set-teorías de Quine de Russell. El enfoque de Russell se examina en su relación al sistema de Frege. Mientras que la simple teoría de los tipos extrae su justificación filosófica de las ideas de Frege sobre cómo el lenguaje se relaciona con la realidad, la teoría ramificada de tipos goza de una más poderosa motivación, es decir, una visión constructivista de las cosas, que Russell tomó de Poincaré. Sin embargo, todas las teorías de los tipos de trabajos bajo dificultades insuperables, como la inefabilidad y la oscuridad, sin embargo, el curso de Russell en la 2ª edición de PP.MM. se demuestra que es todo en todo digno de elección, siendo así la mejor puesta a la teoría compatible con el constructivismo subyacente. Por encima de todo, que permite evitar Russell y paradojas de Cantor de igual manera, que siguió de cómo se bloquea la demostración del teorema de Cantor
