What is this argument for the existence of God called?

I responded to this you tube comment in another language pointing out to some of the logical fallacies in it, but I'm not sure if this is the famous kalam's cosmological argument of muslims or William Craig's argument..or some other famous argument.

And I'll appreciate your responses to it..

" 1. Everything that exists is either contingent (i.e., requiring an external cause for its
existence) or necessary (i.e., not requiring an external cause for its existence, since
its essence by itself entails its existence).
2. A set of contingent beings is itself contingent (since, if all of a thing’s parts are
contingent, then the whole is contingent).
3. Therefore, a necessary being exists (since the set of all existing things cannot ALL
be contingent, for in that case the set itself would still require an external cause;
i.e., a cause that is not contingent; i.e., a cause that is necessary). And this is God.
Main Proof
1. Something exists.
2. That thing is either (a) necessary or (b) possible; i.e., contingent.
3. If (a), then a necessary being (i.e., a “necessarily existent”) exists.
4. If (b), then a necessary being exists.
5. Therefore, a necessary being exists. "

(He was actually jumping to Allah from here..)

via International Skeptics Forum http://bit.ly/2HAiwea