Given the emergence of some beings, there necessarily must exist a beginningless being who brought those contingent beings into existence. This creator is God.
God: the beginningless creator.
The proof for the existence of God is called Burhan Al-Huduth (“the Proof of Emergence”). It can be expressed in the following manner:
- If emergent beings exist, then a beginningless creator exists.
- Emergent beings exist.
- Therefore, a beginningless creator exists.
Premise 1: If emergent beings exist, then a beginningless creator exists
The first premise proposes that we can deduce the existence of a beginningless creator, by realizing the existence of emergent beings.
This premise is true, because the set of all emergent beings is emergent, which necessitates the existence of an extrinsic specifier to have brought this set into existence. The extrinsic specifier cannot itself be emergent, otherwise it would belong to the set of all emergent begins. Thus, if the set of all emergent beings were emergent, then it must have been brought into existence by a creator that is not part of it. In other words, it would have been brought into existence by a beginningless creator.
The set of all emergent beings is emergent, because Tasalsul is impossible.
Premise 2: Emergent beings exist
In the previous article, we proved that bodies are emergent beings by way of Burhan Huduth Al-Ajsam. And the existence of bodies is known by observation.
Therefore, a beginningless creator exists
Since the two premises are true, the conclusion necessarily follows. Therefore, a beginningless creator exists. And since a “beginningless creator” is what we intend when we say “God”, God exists.
 In summary: the existence of an emergent being is preceded by its non-existence, which means that its existence accepts both affirmation and negation. The existence of this essence is therefore contingent upon an extrinsic specifier to have specified existence for it over non-existence. More on this here.
 If the extrinsic specifier were part of the set of all emergent beings, this would make the extrinsic specifier non-extrinsic, which is impossible.