küme üyeliğine ilişkindir. Bir küme ya kendisinin bir üyesidir, ya da değildir. russell bu kuram ile Alman matematikçi gottlob frege'nin üzerinde çalıştığı aritmetiğin mantıksal gelişimi kitabının 2.cilti henüz bitmişken frege'ye büyük bir darbe indirmiştir. frege'nin kitabının ek bölümü söyle başlar "Bir bilim insanı için en üzücü olay, yapıtı tam bitmişken temellerinin çökmesidir. Bertrand Russell'ın bana gönderdiği mektup sonucunda, bu duruma düştüm...".