1. 제1원인이 있다고 가정


2. 1->2->3->4 라는 인과관계가 있음


3. 제1원인인 1의 원인이 없으므로 모든것(1,2,3,4)이 존재하는 원인이 없음


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


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


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


7. 6번과 5번을 연결하면 모순발생


8. 4번에 의해 5번이 참이므로 6번이 거짓


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


10. (A and B)->(A->B and B->A)->(A<->B)가 성립하므로


11. "무한원인<->모든것이 존재하는 원인이 있다"


12. 무한원인을 정수로 나타내면 "...->-2->-1->0->1->2" 가됨


13. "...->-2->-1->0->1->2"에서 모든것이 존재하는 원인은 모든정수보다 작은 정수가 됨


14. 모든정수보다 작은정수는 없음


15. 따라서 "모든것이 존재하는 원인이 있다" 는 거짓


16. 따라서 11번에 의해 "무한원인"도 거짓


17. 무한원인의 부정인 제1원인이 참


18. 결론은 제1원인이 존재함