مصطفى اسم وصفة للنبي

نص السؤال     أحسن الله إليكم صاحب الفضيلة وهذا سائل يقول : هل من أسماء النبي صلى الله عليه وسلم مصطفى أم أن هذه صفة له ؟