Russell ParadoksuGenç Matematik
19. yüzyılın sonlarına kadar matematikçiler herhangi nesnelerin topluluğuna küme demişlerdir. Doğal sayılar kümesi, Reel sayılar kümesi, Çift sayılar kümesi, Kümelerin kümesi, Tüm kümelerin kümesi, bunu çok fazla örnekle pekiştirmek mümkün. O zamana kadar tüm matematikçiler küme olmanın tek şartının sadece nesnelerin bir araya gelmesi olduğuna inanmışlar ve bundan en ufak bir şüphe duymamışlardır. Ta ki Bertrand Russell'ın paradoksu ortaya çıkana kadar. Russell, küme için "herhangi nesnelerin topluğuna küme adı verilir" şeklinde bir tanım verildiğinde, kümeler kuramının bir paradoksa sürüklendiğini ispatlamıştır. Şimdi Russell paradoksunu inceleyelim. Varsayalım ki herhangi nesnelerin topluluğuna küme denir. O halde tüm kümelerin oluşturduğu topluluk da bir kümedir. Bu kümeye diyelim. Buna göre bütün kümeler 'in elemanıdır. Yani herhangi birkümeyse 'tir. de bir küme olduğuna göre 'tir. Şimdi, bu kümesinin bir alt kümesini inşa edelim. olsun. Çelişkiye doğru adım adım ilerliyoruz. Acaba ya da önermelerinden hangisi doğrudur. Şimdi, varsayalım ki doğrudur. O halde 'nin elemanları kendisinin elemanı olmayan kümeler olduğundan doğru olur. Tersine varsayalım. O halde tanıma göre 'nin elemanıdır. Yani . Buradan şöyle bir sonuca varılır.
.
Bu apaçık bir çelişkidir.