بيرتراند راسل
وتحوي على هذه العناصر من وتحقق formula_3. إذا وجدت مجموعة شاملة   يمكن تطبيق بديهية مشروع التخصيص عليها فستوجد أيضا مجموعة أخرى formula_4 , مجموعة كل المجموعات التي تتضمن نفسها. كما لاحظ بيرتراند راسل أن هذه المجموعة متناقضة. فإذا تضمنت نفسها لا يتوجب عليها أن تتضمن نفسها والعكس صحيح ولهذا السبب لا يمكن أن توجد.