Comment les types évitent le paradoxe de Russel?

Question

J'ai traversé le paradoxe du Russel.

De Wikipedia:

Selon la théorie des ensembles naïfs, toute collection définissable est un ensemble. Soit R l'ensemble de tous les ensembles qui ne sont pas membres d'eux-mêmes. Si R n'est pas membre de lui-même, alors sa définition dicte qu'elle doit se contenir, et s'il se contient, alors il contredit sa propre définition comme l'ensemble de tous les ensembles qui ne sont pas membres d'eux-mêmes.

Ensuite, l'église de Russell et d'Alonzo a développé la théorie des types pour éviter ce paradoxe. Quelqu'un peut-il expliquer clairement comment ces types (théorie de type) évitent ce paradoxe. Merci