Adlar arasındaki özdeşlik önermeleri, doğru olduklarında zorunlu olarak doğrudurlar, her ne kadar a priori olarak bilinmese de.