Kümeler kuramının öyle bir modelini bulursun ki, o modelde bir grubun bir altgrubunun ötelemelerinin temscilerinden oluşan bir küme yoktur. Tabii kümeler kuramının o modelinde seçim aksiyomu doğru olamaz. Bu da seçim aksiyomu (ya da en az onun kadar güçlü bir aksiyom olmadan) olmadan temsilciler kümesinin varlığının kanıtlanamayacağını gösterir.
Kümeler kuramının öyle bir modelinin nasıl bulunduğunu ben de bilmiyorum. Ve tabii öyle bir model acak Zermelo-Fraenkel aksiyom sisteminin tutarlı olduğu varsayılarak bulunabilir.