O paradoxo de Russell, proposto pelo filósofo e matemático Bertrand Russell no início do século XX, explora uma contradição na teoria dos conjuntos. Ele questiona a possibilidade de um conjunto conter a si mesmo. Russell imaginou um conjunto que inclui todos os conjuntos que não se contêm a si mesmos. A questão é: esse conjunto se contém a si mesmo? Se sim, ele não pode ser membro do próprio conjunto, pois ele contém apenas conjuntos que não se contêm. Se ele não se contém, ele deve ser membro do conjunto, já que ele inclui todos os conjuntos que não se contêm. Essa contradição aponta para um problema fundamental na teoria dos conjuntos e desafiou os matemáticos a reformular seus axiomas para evitar essa inconsistência. A solução foi a introdução da teoria dos tipos, que estratifica conjuntos em níveis, impedindo que um conjunto contenha a si mesmo.