1. 모든것이 존재하기 전이 존재한다고 가정


2. 모든것이 존재하기 전이므로 모든것이 존재하지 않아야 함


3. 그런데 "전이 존재"


4. 이는 모순


5. 따라서 모든것이 존재하기 전은 존재하지 않음


6. 따라서 그 전에 존재해야할 모든것이 존재하는 원인은 존재하지않음


7. 1->2->3 라는 인과관계가 있을때, 1의 원인이 없으므로 모든것(1,2,3)이 존재하는 원인은 없음


8. 명제로 나타내면 "제1원인이면 모든것이 존재하는 원인은 없다"


9. 대우명제는 "모든것이 존재하는 원인이 있으면 무한원인이다"


10. 가정을 하나 하자, "무한원인이면 모든것이 존재하는 원인이 없다" 라고


11. 그러면 9번과 10번 명제를 연결하면 모순이 발생함


12. 8번과 9번 명제가 참임(7번에 의해)


13. 따라서 10번명제가 거짓


14. 10번의 부정은 "무한원인 and 모든것이 존재하는 원인은 있다"


15. (A and B)->(A->B and B->A)->(A<->B)이다


16. 따라서 "무한원인<->모든것이 존재하는 원인은 있다"


17. 16번명제의 대우명제는 "제1원인<->모든것이 존재하는 원인은 없다"


18. 17번과 6번을 연결하면 제1원인이 존재하게 된다


19. 따라서 제1원인이 존재한다