aslında basit bir formülle rahatlıkla çözülebilecek paradokstur. şu berber meselesine falan girmiyorum... işin içine söz oyunları girince ortalık bulanıyor.
bir küme kendisinin elemanı olamaz. a kümesinin özelliklerini taşıyan veya a kümesine benzeyen bir a, daha doğrusu a1 kümesi ortaya attığımızda, bu küme görüldüğü üzere a kümesinin özelliklerini taşıyan bir a1 kümesidir. örneğin "masa" kavramı belli bir kaplama sahiptir ve bu kaplam dahilinde içlem tutarlığı olan masamsı şeylere biz "masa" deriz. ama "masa" kavramı bir masa değildir. yani masa kümesinde yer alan ögeler masa iken, masa kümesi (a) masa olamaz. masa kümesini içeren bir küme de var değildir. evrendeki tüm masaları imleyen "masa" kavramı bu sınıfı, yani evrendeki bütün masaları belirtir; fakat bu küme (a) kendi kendisinin elemanı olamaz. "masa" kavramını imleyen küme "masa kavramının -üst- kümesi"dir (a1), "masa kavramı"(a)nı kapsar ve masa kümesinin (a) taşıdığı özelliklere benzer özellikler taşır.
