Nel 1901 Un lord Inglese,filosofo e matematico,Bertrand Russel, mise in crisi il tentativo di Frege di definire le basi della matematica partendo dalla logica pura, con un paradosso arcinoto a tutti. Tale paradosso era dovuto al fatto che la teoria "ingenua" ovvero intuitiva degli insiemi non era ben fondata. Questo destò grande preoccupazione nel mondo della matematica; se gli insiemi sono alla base della matematica e sono non consistenti, allora tutta la matematica potrebbe essere non consistente, ovvero contraddittoria, e si temette anche per la teoria di Cantor. Ma vediamo perchè successe tutto ciò.Nella realtà attuale, con assiomi consistenti, il paradosso di Russel diventò un teorema.
