إِبْرَاهِيمُ is a proper name, so it is already definite. In يَا إِبْرَاهِيمُ, the particle يَا only performs the act of calling.
The important reasoning is: proper name first, vocative use second.
Opening interactive controls...
Proper Name: Definiteness Comes from the Name
إِبْرَاهِيمُ is a proper name, so it is already definite. In يَا إِبْرَاهِيمُ, the particle يَا only performs the act of calling.
The important reasoning is: proper name first, vocative use second.