P1. We observe that there are contingent beings.
P2. A series of contingent beings cannot regress infinitely into the past.
C1. So, a series of contingent beings must be finite.
P3. If this finite series was all that existed, then before it would be nothing.
P4. If there was once nothing, there would be nothing now, which is absurd.
C1. So, there must be more than this finite series of contingent beings, i.e., a necessary being.
P5. There cannot be an infinite regress of necessary beings.
C3. There must be a necessary being “having of itself its own necessity … That thing we call God.”