CEVAP:

Metafizik Açıklama Aksiyomu
(a) “A” bir somut nesne adı, “B” bir nitelik yüklemi ise, “A, B dir” önermesinin doğruluğunun metafizik açıklayıcısı, “A’nın taşıdığı bir trop B doğal trop-kümesi’nin öğesidir” önermesidir. (b) “A” bir nitelik adı, “B” bir nitelik yüklemi ise, “A, B dir” önermesinin doğruluğunun metafizik açıklayıcısı, “A doğal trop-kümesi, B doğal trop-kümesi’nin alt kümesidir” önermesidir. (c) “A” bir trop adı ise, “A, B dir” önermesinin doğruluğunun metafizik açıklayıcısı, “A tropu, B doğal trop-kümesi’nin öğesidir” önermesidir.