SORU: Taşıma ilişkisinin yerine getirdiği koşulları dile getiren aksiyomlar nelerdir?
CEVAP: Aksiyom 3: A şeyi B şeyini taşır ise: (i) Hiçbir şey A’nın örnekleyeni değildir, yani A tikeldir. (ii) Hiçbir şey B’nin örnekleyeni değildir, yani B tikeldir. Aksiyom 4: (i) A şeyi B şeyini taşır ise, A bir taşınan değildir ve B bir taşıyıcı değildir. (ii) (a1, ... , an ) bileşik şeyi B şeyini taşır ise, a1, ... , an şeyleri birer taşıyıcı olur. Aksiyom 5: Her tikel ya bir şeyi taşır ya da bir şey tarafından taşınır.
