C'est avec la découverte du "paradoxe de Russell", en 1901, que commence la formation de la théorie russellienne des types. Reprenant de Poincaré l'idée du principe du cercle vicieux, il esquissa, en 1908, la théorie qui devait s'épanouir, en 1910, dans le premier volume des Principia Mathematica et être rétrospectivement connue sous le nom de "théorie des types ramifiée".