What is the proof of the names of 4 great angels?

Question

The name of Jibril (also know as "Gabriel" in English) and Mika'il are indeed written in Quran. But the names of Azrael and Israfil are not. How do we know actual names of these angels? Did we Muslims imported angel names from other religions?

Answer 1

Izra'il:

There is no mention tying that name to the angel of death in either Quran or saheeh Hadiths. The name Azrael comes from Jewish traditions incorporated later by some scholars as part of what is known as "Isra'eliat".

Mika'il

He is mentioned in the Quran as Mikal ميكال.

Whoever is an enemy to Allah and His angels and His messengers and Gabriel and Michael - then indeed, Allah is an enemy to the disbelievers.

(Al-Baqarah 2:98)

The spelling Mika'il ميكائيل comes from a few disputed Hadith (see below) and Jewish traditions.

Israfil

This name has only been mentioned in a few Hadiths such as this one:

أَخْبَرَنَا أَحْمَدُ بْنُ حَفْصٍ قَالَ حَدَّثَنِي أَبِي قَالَ حَدَّثَنِي إِبْرَاهِيمُ عَنْ سُفْيَانَ بْنِ سَعِيدٍ عَنْ أَبِي حَسَّانَ عَنْ جَسْرَةَ عَنْ عَائِشَةَ أَنَّهَا قَالَتْ قَالَ رَسُولُ اللَّهِ صَلَّى اللَّهُ عَلَيْهِ وَسَلَّمَ اللَّهُمَّ رَبَّ جِبْرَائِيلَ وَمِيكَائِيلَ وَرَبَّ إِسْرَافِيلَ أَعُوذُ بِكَ مِنْ حَرِّ النَّارِ وَمِنْ عَذَابِ الْقَبْرِ

"Oh Allah, god of Jibreel and Mika'il and god of Israfil. I seek your refuge from hellfire".

(Sonan Alnesa'ee)