CEVAP: (i) A, B’dir doğru olan herhangi bir özneyüklem önermesi olsun. Aksiyom 1* gereği B yükleminin gösterdiği B-olma gibi bir özellik ya da bir B türü vardır. B yükleminin B-olma özelliğini gösterdiğini kabul edelim (B yükleminin tür adı olduğu durum da benzer biçimde ele alınabilir). Bu durumda A, B’dir önermesinin doğruluğunun metafizik açıklayıcısı, Aksiyom 3b* gereği, (ii) A şeyi B-olma özelliğini taşır önermesidir. Bu önermenin -genel olarak, metafizikçe temel önermeler dışındaki her önermenin- doğruluğunun metafizik açıklayıcısını ortaya koymak gerekir. A şeyi Bolma özelliğini taşır önermesi de bir özne-yüklem önermesi olup, tek özneli ile iki özneli olmak üzere iki ayrı biçimde ele alınabilir. Tek özneli biçiminde, önermenin öznesi A şeyi, yüklemi ise B-olma özelliğini taşır 1-li yüklemidir. iki özneli biçiminde ise özneler A şeyi ile Bolma özelliği, yüklemi ise taşır 2-li yüklemidir. Her iki şıkta da sırasıyla ortaya çıkan önermelerin doğruluğunun metafizik açıklayıcılarını ortaya koymakla; bir özneli biçimde, 1-li özelliğe ilişkin sonsuz gerileme, iki özneli biçimde ise 2-li özelliğe ilişkin sonsuz gerileme ortaya çıkar.