CEVAP: Taşıma ilişkisi’ni dile getiren taşır yüklemi yardımıyla kendini taşır değil, ya da kısaca kendini taşımaz, yüklemi tanımlanabilir. Aksiyom 1* sınırsız olarak geçerli ise, kendini taşımaz yüklemi Aksiyom 1* gereği bir tümeli, yani Kendini-taşımama özelliğini gösterir. Bu özelliğe R diyelim. Burada iki şıkla karşılaşırız. R, ya R özelliğini taşır ya da taşımaz. Birinci şıkta R, Kendini-taşımama özelliğini taşır, yani R kendini taşımaz. O halde R, R’yi taşır ise R, R’yi taşımaz sonucu çıkar. İkinci şıkta R, Kendini-taşımama özelliğini taşımaz, yani R kendini taşır. O halde R, R’yi taşımaz ise R, R’yi taşır sonucu çıkar. Böylece bir paradoksla karşı karşıya kalmış oluruz.