x is independent of y= df- x and y are diverse and have no parts in common
x is a sufficient reason for y= df- facts about x fully explain why y is as it is rather than otherwise.
Principle of Sufficient Reason = For every contingent thing, there is some independent sufficent reason.
x is the world = df- x is the aggregate consisting of every contingent thing that ever did exist, does not exist, or ever will exist.
1. The world is a contingent thing.
2. If (1), then there is some independent sufficient reason for the world.
3. If there is some independent sufficient reason for the world, then God exists.
4. Therefore, God exists [1,2,3, MMP]