SORU: Doğal Trop Kümesi Adcılığı’nda Metafizik Açıkla Aksiyomu neyi ifade eder?
CEVAP: (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 tropkü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 tropkümesi, B doğal trop-kümesinin 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ümesinin öğesidir önermesidir. (Bu aksiyoma, diğer kuramlarda eklenmiş olan, gerek metafizik neden ile ilgili bölüm gerekse bağıntı yüklemlerine ve adlarına ilişkin aksiyomun kısımları kolaylıkla eklenebilir.)
