P5. Eger B, A'yı hareket ettirir ve B hareket ederse, o zaman B başka bir șey, C tarafindan hareket ettiriliyor olmalıdır.
P6. Hareket ettiriciler dizisi sonsuza kadar giderse, o zaman bir
ilk hareket ettirici olmaz.
P7. Eger bir ilk hareket ettirici yoksa o zaman hareket de olamaz.
C4. Bir ilk hareket ettirici vardır (modus tollens, P1, P7).
C5. Bu 1 ilk hareket ettirici, herkesin Tanrı olarak ele aldıgı
seydir (tanım).