شاف إن أسماء العالم من النوع الموصوف أعلاه هي "أوصاف محددة مختصرة" (انظر نظرية الأوصاف).